Class Summary |
AddGuardsToArc |
The Class AddGuardsToArc another way to add arc-guards to input arcs in the menu bar of VANTED. |
AddGuardsToTransition |
The Class AddGuardsToTransition another way to add guards to transitions in the menu bar of VANTED. |
GuardArcAttribute |
The Class GuardArcAttribute for arc-guard handling. |
GuardArcAttributeEditor |
The Class GuardArcAttributeEditor a way to change the arc-guard in the VANTED gui. |
GuardAttribute |
The Class GuardAttribute for the guard attribute handling. |
GuardAttributeEditor |
The Class GuardAttributeEditor a way to change the guard in the VANTED gui. |