org.jbpt.petri.unfolding.order

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

All Implemented Interfaces:

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

Direct Known Subclasses:

EsparzaAdequateOrderForArbitrarySystems, EsparzaAdequateTotalOrderForSafeSystems, McMillanAdequateOrder, UnfoldingAdequateOrder

public abstract class AdequateOrder<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 Object
implements IAdequateOrder<BPN,C,E,F,N,P,T,M>

Adequate order (abstract class).

Author:

Artem Polyvyanyy

Constructor Summary

Constructors

Constructor and Description
AdequateOrder()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isTotal()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.jbpt.petri.unfolding.order.IAdequateOrder

isSmaller

Constructor Detail

AdequateOrder

public AdequateOrder()

Method Detail

isTotal

public boolean isTotal()

Specified by:

isTotal in 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>>