Uses of Class
vanted.petrinetelements.misc.DrawingNode

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.