Uses of Class
vanted.petrinetelements.misc.PetriNetType

Packages that use PetriNetType
vanted.gui   
vanted.petrinetelements.misc   
 

Uses of PetriNetType in vanted.gui
 

Methods in vanted.gui with parameters of type PetriNetType
 void GUICompPlaceCapacity.showAttr(PetriNetType type, java.lang.Object value)
           
 void GUICompDiscreteToken.showAttr(PetriNetType type, java.lang.Object value)
           
 void GUICompContinuousToken.showAttr(PetriNetType type, java.lang.Object value)
           
 void GUICompArcWeight.showAttr(PetriNetType type, java.lang.Object value)
           
abstract  void AbstractGUIComp.showAttr(PetriNetType type, java.lang.Object value)
           
 

Uses of PetriNetType in vanted.petrinetelements.misc
 

Methods in vanted.petrinetelements.misc that return PetriNetType
static PetriNetType PetriNetType.fromName(java.lang.String name)
           
static PetriNetType PetriNetType.getTokenType(java.util.List<Place> places)
          Gets the type of a token.
static PetriNetType PetriNetType.getType(java.util.List<Place> places)
          Gets the type of a Petri net from the places.
static PetriNetType PetriNetType.getType2(org.graffiti.graph.Graph graph)
          Gets the type from a graph.
static PetriNetType PetriNetType.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static PetriNetType[] PetriNetType.values()
          Returns an array containing the constants of this enum type, in the order they are declared.