Uses of Class
org.jbpt.petri.unfolding.CompletePrefixUnfoldingSetup

Packages that use CompletePrefixUnfoldingSetup

Package	Description
org.jbpt.petri.unfolding

Uses of CompletePrefixUnfoldingSetup in org.jbpt.petri.unfolding

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

Modifier and Type	Field and Description
protected CompletePrefixUnfoldingSetup	AbstractCompletePrefixUnfolding.setup

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

Constructor and Description
AbstractCompletePrefixUnfolding(INetSystem<F,N,P,T,M> sys, CompletePrefixUnfoldingSetup setup) Constructor with specified setup.
AbstractProperCompletePrefixUnfolding(INetSystem<F,N,P,T,M> sys, CompletePrefixUnfoldingSetup setup)
CompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys, CompletePrefixUnfoldingSetup setup)
ProperCompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys, CompletePrefixUnfoldingSetup setup)