org.jbpt.petri.unfolding

Interface ICut<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

All Superinterfaces:

Collection<C>, ICoSet<BPN,C,E,F,N,P,T,M>, Iterable<C>, Set<C>

All Known Implementing Classes:

AbstractCut, Cut

public interface ICut<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
extends ICoSet<BPN,C,E,F,N,P,T,M>

Method Summary

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