org.jbpt.petri.unfolding.order

Interface IAdequateOrder<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>>

All Known Implementing Classes:

AdequateOrder, EsparzaAdequateOrderForArbitrarySystems, EsparzaAdequateTotalOrderForSafeSystems, McMillanAdequateOrder, UnfoldingAdequateOrder

public interface IAdequateOrder<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>>

Interface to an adequate order on local configurations.

Author:

Artem Polyvyanyy

Method Summary

Methods

Modifier and Type	Method and Description
boolean	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	isTotal()

Method Detail

isSmaller

boolean 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.

Parameters:

lc1 - A local configuration.

lc2 - A local configuration.

Returns:

true if 'lc1' is smaller than 'lc2'; otherwise false.

isTotal

boolean isTotal()