|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Guard | |
---|---|
vanted.attribute.cpn.guard | |
vanted.petrinetelements |
Uses of Guard in vanted.attribute.cpn.guard |
---|
Methods in vanted.attribute.cpn.guard that return types with arguments of type Guard | |
---|---|
java.util.List<Guard> |
GuardAttribute.getGuards()
Gets the guards. |
java.util.List<Guard> |
GuardArcAttribute.getGuards()
Gets the guards. |
Methods in vanted.attribute.cpn.guard with parameters of type Guard | |
---|---|
boolean |
GuardAttribute.addGuard(Guard guard)
Adds the guard. |
boolean |
GuardArcAttribute.addGuard(Guard guard)
Adds the guard. |
boolean |
GuardAttribute.changeGuardValue(Guard guard,
java.lang.Object value)
Change guard value. |
boolean |
GuardArcAttribute.changeGuardValue(Guard guard,
java.lang.Object value)
Changes the guard value. |
boolean |
GuardAttribute.removeGuard(Guard guard)
Removes the guard. |
boolean |
GuardArcAttribute.removeGuard(Guard guard)
Removes the guard. |
Uses of Guard in vanted.petrinetelements |
---|
Methods in vanted.petrinetelements that return types with arguments of type Guard | |
---|---|
java.util.List<Guard> |
Transition.getGuards()
Gets the guards of the transition. |
java.util.List<Guard> |
InArc.getGuards()
Gets the guards of the ingoing arc. |
Methods in vanted.petrinetelements with parameters of type Guard | |
---|---|
void |
Transition.addGuard(Guard guard)
Adds the guard of the transition. |
void |
InArc.addGuard(Guard guard)
Adds the guard to the ingoing arc. |
void |
Transition.removeGuard(Guard guard)
Removes the guard of the transition. |
void |
InArc.removeGuard(Guard guard)
Removes the guard from the ingoing arc. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |