|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TransitionRule | |
---|---|
vanted.petrinetelements |
Uses of TransitionRule in vanted.petrinetelements |
---|
Fields in vanted.petrinetelements declared as TransitionRule | |
---|---|
static TransitionRule |
PetriNet.TRANSITION_RULE
The transition rule. |
Methods in vanted.petrinetelements that return TransitionRule | |
---|---|
static TransitionRule |
TransitionRule.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static TransitionRule[] |
TransitionRule.values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Methods in vanted.petrinetelements with parameters of type TransitionRule | |
---|---|
boolean[] |
PetriNet.getEnabledTransitions(TransitionRule rule)
Gets the enabled transitions. |
boolean[] |
PetriNet.getEnabledTransitionsFromMarking(double[] marking,
TransitionRule rule)
Gets the enabled transitions from marking. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |