Uses of Class
org.jbpt.petri.unfolding.order.AdequateOrderType

Packages that use AdequateOrderType

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

Uses of AdequateOrderType in org.jbpt.petri.unfolding

Fields in org.jbpt.petri.unfolding declared as AdequateOrderType

Modifier and Type	Field and Description
AdequateOrderType	CompletePrefixUnfoldingSetup.ADEQUATE_ORDER Use this adequate order when constructing the unfolding.

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

Methods in org.jbpt.petri.unfolding.order that return AdequateOrderType

Modifier and Type	Method and Description
static AdequateOrderType	AdequateOrderType.valueOf(String name) Returns the enum constant of this type with the specified name.
static AdequateOrderType[]	AdequateOrderType.values() Returns an array containing the constants of this enum type, in the order they are declared.