org.jbpt.petri.unfolding.order

Class UnfoldingAdequateOrder<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.UnfoldingAdequateOrder<BPN,C,E,F,N,P,T,M>

All Implemented Interfaces:

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

public class UnfoldingAdequateOrder<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>

An adequate order which allows to simulate unfolding (maximal branching process).

Author:

Artem Polyvyanyy

Constructor Summary

Constructors

Constructor and Description
UnfoldingAdequateOrder()

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

UnfoldingAdequateOrder

public UnfoldingAdequateOrder()

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.