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

Packages that use ILocalConfiguration

Package	Description
org.jbpt.petri.unfolding
org.jbpt.petri.unfolding.order

Uses of ILocalConfiguration in org.jbpt.petri.unfolding

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

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

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

Modifier and Type	Method and Description
ILocalConfiguration<BPN,C,E,F,N,P,T,M>	IEvent.getLocalConfiguration()
ILocalConfiguration<BPN,C,E,F,N,P,T,M>	AbstractEvent.getLocalConfiguration()

Uses of ILocalConfiguration in org.jbpt.petri.unfolding.order

Methods in org.jbpt.petri.unfolding.order with parameters of type ILocalConfiguration

Modifier and Type	Method and Description
boolean	UnfoldingAdequateOrder.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1, ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2)
boolean	UnfoldingAdequateOrder.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1, ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2)
boolean	McMillanAdequateOrder.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1, ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2)
boolean	McMillanAdequateOrder.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1, ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2)
boolean	IAdequateOrder.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1, ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2) Compare two local configurations.
boolean	IAdequateOrder.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1, ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2) Compare two local configurations.
boolean	EsparzaAdequateTotalOrderForSafeSystems.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1, ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2)
boolean	EsparzaAdequateTotalOrderForSafeSystems.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1, ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2)
boolean	EsparzaAdequateOrderForArbitrarySystems.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1, ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2)
boolean	EsparzaAdequateOrderForArbitrarySystems.isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1, ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2)