|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |