Uses of Interface
org.jbpt.petri.IRun

Packages that use IRun

Package	Description
org.jbpt.petri
org.jbpt.petri.untangling

Uses of IRun in org.jbpt.petri

Classes in org.jbpt.petri that implement IRun

Modifier and Type	Class and Description
class	AbstractRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> Implementation of a run of a net system.
class	Run Run (occurrence sequence) of a net system.

Methods in org.jbpt.petri that return IRun

Modifier and Type	Method and Description
IRun<F,N,P,T,M>	IRun.clone() Clone this run.
IRun<F,N,P,T,M>	AbstractRun.clone()

Methods in org.jbpt.petri with parameters of type IRun

Modifier and Type	Method and Description
protected void	AbstractRun.copyTransitions(IRun<F,N,P,T,M> run)

Uses of IRun in org.jbpt.petri.untangling

Subinterfaces of IRun in org.jbpt.petri.untangling

Modifier and Type	Interface and Description
interface	IUntanglingRun<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.untangling that implement IRun

Modifier and Type	Class and Description
class	AbstractUntanglingRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
class	UntanglingRun

Fields in org.jbpt.petri.untangling with type parameters of type IRun

Modifier and Type	Field and Description
protected Set<IRun<F,N,P,T,M>>	AbstractRepresentativeUntangling.runs

Methods in org.jbpt.petri.untangling that return IRun

Modifier and Type	Method and Description
protected IRun<F,N,P,T,M>	AbstractRepresentativeUntangling.createRun(INetSystem<F,N,P,T,M> sys)

Methods in org.jbpt.petri.untangling that return types with arguments of type IRun

Modifier and Type	Method and Description
Set<IRun<F,N,P,T,M>>	AbstractRepresentativeUntangling.getMaximalSignificantRuns()

Methods in org.jbpt.petri.untangling with parameters of type IRun

Modifier and Type	Method and Description
protected boolean	AbstractRepresentativeUntangling.isSignificant(IRun<F,N,P,T,M> run) Check if a run of a net system is significant.
protected boolean	AbstractRepresentativeUntangling.isSignificantCubic(IRun<F,N,P,T,M> run)
protected void	AbstractRepresentativeUntangling.prune(IRun<F,N,P,T,M> run) Prune a given run, i.e., iteratively remove every last step of the given run if this last step occurs at least twice in this run.