Uses of Class
vanted.analysis.Reachability

Packages that use Reachability
vanted.attribute   
vanted.petrinetelements   
 

Uses of Reachability in vanted.attribute
 

Methods in vanted.attribute that return Reachability
 Reachability ReachabilityAttribute.getState()
          Gets the state.
 

Methods in vanted.attribute with parameters of type Reachability
 void ReachabilityAttribute.addState(Reachability state)
          Adds the state.
 

Uses of Reachability in vanted.petrinetelements
 

Methods in vanted.petrinetelements that return Reachability
 Reachability NodePN.getReachability()
          Gets the object Reachability which contains a String with its marking.
 

Methods in vanted.petrinetelements with parameters of type Reachability
 void NodePN.addReachability(Reachability reachability)
          Adds the object Reachability to the ReachabilityAttribute.