|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DrawingNode | |
---|---|
vanted.attribute | |
vanted.petrinetelements |
Uses of DrawingNode in vanted.attribute |
---|
Methods in vanted.attribute that return DrawingNode | |
---|---|
DrawingNode |
DrawingNodeAttribute.getDraw()
Gets the draw. |
Methods in vanted.attribute with parameters of type DrawingNode | |
---|---|
void |
DrawingNodeAttribute.addDraw(DrawingNode draw)
Adds the draw. |
Uses of DrawingNode in vanted.petrinetelements |
---|
Methods in vanted.petrinetelements that return DrawingNode | |
---|---|
DrawingNode |
NodePN.getDraw()
Gets the object DrawingNode which contains a double with its marking or -1 for omega (coverbilityGraph) or a constant (check for Petri net drawing). |
Methods in vanted.petrinetelements with parameters of type DrawingNode | |
---|---|
void |
NodePN.addDraw(DrawingNode draw)
Adds the object DrawingNode to the DrawingNodeAttribute. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |