|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |