org.jbpt.petri.unfolding

Class Cut

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<C>

org.jbpt.petri.unfolding.AbstractCoSet<BPN,C,E,F,N,P,T,M>

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

org.jbpt.petri.unfolding.Cut

All Implemented Interfaces:

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

public class Cut
extends AbstractCut<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Cut()

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 org.jbpt.petri.unfolding.ICoSet

getConditions, getPlaces

Methods inherited from interface java.util.Set

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray

Constructor Detail

Cut

public Cut()