org.jbpt.petri.unfolding

Class CoSet

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<C>

org.jbpt.petri.unfolding.AbstractCoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

org.jbpt.petri.unfolding.CoSet

All Implemented Interfaces:

Serializable, Cloneable, Iterable<Condition>, Collection<Condition>, Set<Condition>, ICoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

public class CoSet
extends AbstractCoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
CoSet()

Method Summary

Methods inherited from class org.jbpt.petri.unfolding.AbstractCoSet

add, addAll, getConditions, getPlaces, hashCode, remove, removeAll

Methods inherited from class java.util.HashSet

clear, clone, contains, isEmpty, iterator, size

Methods inherited from class java.util.AbstractSet

equals

Methods inherited from class java.util.AbstractCollection

containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Set

clear, contains, containsAll, equals, isEmpty, iterator, retainAll, size, toArray, toArray

Constructor Detail

CoSet

public CoSet()