org.jbpt.petri.unfolding.order

Class McMillanAdequateOrder<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>>

java.lang.Object

org.jbpt.petri.unfolding.order.AdequateOrder<BPN,C,E,F,N,P,T,M>

org.jbpt.petri.unfolding.order.McMillanAdequateOrder<BPN,C,E,F,N,P,T,M>

All Implemented Interfaces:

IAdequateOrder<BPN,C,E,F,N,P,T,M>

public class McMillanAdequateOrder<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>>
extends AdequateOrder<BPN,C,E,F,N,P,T,M>

McMillan's adequate order.

Author:

Artem Polyvyanyy

Constructor Summary

Constructors

Constructor and Description
McMillanAdequateOrder()

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.

Methods inherited from class org.jbpt.petri.unfolding.order.AdequateOrder

isTotal

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

McMillanAdequateOrder

public McMillanAdequateOrder()

Method Detail

isSmaller

public boolean isSmaller(ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc1,
                ILocalConfiguration<BPN,C,E,F,N,P,T,M> lc2)

Description copied from interface: IAdequateOrder

Compare two local configurations.

Parameters:

lc1 - A local configuration.

lc2 - A local configuration.

Returns:

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