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

Packages that use ICut

Package	Description
org.jbpt.petri.unfolding

Uses of ICut in org.jbpt.petri.unfolding

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

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

Fields in org.jbpt.petri.unfolding declared as ICut

Modifier and Type	Field and Description
protected ICut<BPN,C,E,F,N,P,T,M>	AbstractBranchingProcess.iniBP

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

Modifier and Type	Method and Description
ICut<BPN,C,E,F,N,P,T,M>	IBranchingProcess.createCut() Factory method to provide a cut of the branching process implementation.
ICut<BPN,C,E,F,N,P,T,M>	AbstractBranchingProcess.createCut()
ICut<BPN,C,E,F,N,P,T,M>	ILocalConfiguration.getCut()
ICut<BPN,C,E,F,N,P,T,M>	AbstractLocalConfiguration.getCut()
ICut<BPN,C,E,F,N,P,T,M>	IBranchingProcess.getInitialCut() Get initial cut of this branching process, i.e., the set of condition without input events.
ICut<BPN,C,E,F,N,P,T,M>	AbstractBranchingProcess.getInitialCut()

Methods in org.jbpt.petri.unfolding that return types with arguments of type ICut

Modifier and Type	Method and Description
Set<ICut<BPN,C,E,F,N,P,T,M>>	IBranchingProcess.getCuts(Collection<P> places) Get cuts of this branching process that refer to the provided collection of places.
Set<ICut<BPN,C,E,F,N,P,T,M>>	AbstractBranchingProcess.getCuts(Collection<P> places)