Uses of Interface
org.jbpt.petri.unfolding.ICoSet

Packages that use ICoSet

Package	Description
org.jbpt.petri.unfolding

Uses of ICoSet in org.jbpt.petri.unfolding

Subinterfaces of ICoSet in org.jbpt.petri.unfolding

Modifier and Type	Interface and Description
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>>

Classes in org.jbpt.petri.unfolding that implement ICoSet

Modifier and Type	Class and Description
class	AbstractCoSet<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>>
class	AbstractCut<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>>
class	CoSet
class	Cut

Methods in org.jbpt.petri.unfolding that return ICoSet

Modifier and Type	Method and Description
protected ICoSet<BPN,C,E,F,N,P,T,M>	AbstractCompletePrefixUnfolding.containsPlaces(ICoSet<BPN,C,E,F,N,P,T,M> coset, Collection<P> places)
ICoSet<BPN,C,E,F,N,P,T,M>	IBranchingProcess.createCoSet() Factory method to provide a co-set of the branching process implementation.
ICoSet<BPN,C,E,F,N,P,T,M>	AbstractBranchingProcess.createCoSet()
ICoSet<BPN,C,E,F,N,P,T,M>	IEvent.getPostConditions() Get post conditions of this event.
ICoSet<BPN,C,E,F,N,P,T,M>	AbstractEvent.getPostConditions()
ICoSet<BPN,C,E,F,N,P,T,M>	IEvent.getPreConditions() Get preconditions of this event.
ICoSet<BPN,C,E,F,N,P,T,M>	AbstractEvent.getPreConditions()

Methods in org.jbpt.petri.unfolding with parameters of type ICoSet

Modifier and Type	Method and Description
protected ICoSet<BPN,C,E,F,N,P,T,M>	AbstractCompletePrefixUnfolding.containsPlaces(ICoSet<BPN,C,E,F,N,P,T,M> coset, Collection<P> places)
E	IBranchingProcess.createEvent(T transition, ICoSet<BPN,C,E,F,N,P,T,M> preset) Factory method to provide an event of the branching process implementation.
E	AbstractCompletePrefixUnfolding.createEvent(T transition, ICoSet<BPN,C,E,F,N,P,T,M> preConditions)
E	AbstractBranchingProcess.createEvent(T transition, ICoSet<BPN,C,E,F,N,P,T,M> preConditions)
void	IEvent.setPostConditions(ICoSet<BPN,C,E,F,N,P,T,M> postConditions)
void	AbstractEvent.setPostConditions(ICoSet<BPN,C,E,F,N,P,T,M> postConditions)
void	IEvent.setPreConditions(ICoSet<BPN,C,E,F,N,P,T,M> preConditions)
void	AbstractEvent.setPreConditions(ICoSet<BPN,C,E,F,N,P,T,M> preConditions)

Constructors in org.jbpt.petri.unfolding with parameters of type ICoSet

Constructor and Description
AbstractEvent(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu, T transition, ICoSet<BPN,C,E,F,N,P,T,M> preset) Constructor.
Event(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> cpu, Transition transition, ICoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> preset)