Uses of Class
vanted.petrinetelements.TransitionRule

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.