|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Place | |
---|---|
petri_jfern | |
pnml.writer | |
vanted.gui | |
vanted.petrinetelements | |
vanted.petrinetelements.cpn | |
vanted.petrinetelements.misc |
Uses of Place in petri_jfern |
---|
Methods in petri_jfern that return Place | |
---|---|
Place |
PlaceMap.getPlaceV(org.rakiura.cpn.Place p)
Gets the place v. |
Methods in petri_jfern that return types with arguments of type Place | |
---|---|
java.util.List<Place> |
PlaceMap.getAllPlacesV()
Gets the all places v (vanted). |
Methods in petri_jfern with parameters of type Place | |
---|---|
void |
PlaceMap.addPlace(Place place,
org.rakiura.cpn.Place p)
Adds the place. |
boolean |
PlaceMap.containsKeyV(Place place)
Contains key v. |
org.rakiura.cpn.Place |
PlaceMap.getPlaceR(Place place)
Gets the place r (rakiura). |
void |
PlaceMap.removePlaceV(Place place)
Removes the place v (vanted, rakiura). |
Uses of Place in pnml.writer |
---|
Methods in pnml.writer with parameters of type Place | |
---|---|
org.w3c.dom.Element |
PNMLParserDiscrete.createPlaceElement(Place place,
org.w3c.dom.Document document)
|
org.w3c.dom.Element |
PNMLParserContinuous.createPlaceElement(Place place,
org.w3c.dom.Document document)
|
abstract org.w3c.dom.Element |
AbstractPNMLParser.createPlaceElement(Place place,
org.w3c.dom.Document document)
Creates a Place Element for a PNML Petri-Net DOM |
Uses of Place in vanted.gui |
---|
Methods in vanted.gui with parameters of type Place | |
---|---|
void |
GUICompPlaceCapacity.removeElements(Place place)
|
void |
GUICompDiscreteToken.removeElements(Place place)
|
void |
GUICompContinuousToken.removeElements(Place place)
|
void |
GUICompArcWeight.removeElements(Place place)
|
abstract void |
AbstractGUIComp.removeElements(Place place)
|
Uses of Place in vanted.petrinetelements |
---|
Methods in vanted.petrinetelements that return Place | |
---|---|
Place |
AbstractArc.getPlace()
Gets the place. |
Methods in vanted.petrinetelements that return types with arguments of type Place | |
---|---|
java.util.List<Place> |
PetriNet.getAllPlaces()
Gets all the places. |
java.util.List<Place> |
PetriNet.getAllPlacesWithCapacity()
Gets all the places with capacity. |
java.util.HashSet<Place> |
Transition.getPlaces()
Gets the places. |
Methods in vanted.petrinetelements with parameters of type Place | |
---|---|
int |
PetriNet.getPlacePosition(Place place)
Gets the place position in the Petri net. |
void |
AbstractArc.setPlace(Place place)
Sets the place. |
Constructors in vanted.petrinetelements with parameters of type Place | |
---|---|
AbstractArc(Place place,
Transition transition,
org.graffiti.graph.Edge edge)
Instantiates a new abstract arc. |
|
AbstractArc(Transition transition,
Place place,
org.graffiti.graph.Edge edge)
Instantiates a new abstract arc. |
|
InArc(Place place,
Transition transition,
org.graffiti.graph.Edge edge)
Instantiates a new in arc. |
|
OutArc(Transition transition,
Place place,
org.graffiti.graph.Edge edge)
Instantiates a new out arc. |
Uses of Place in vanted.petrinetelements.cpn |
---|
Methods in vanted.petrinetelements.cpn that return types with arguments of type Place | |
---|---|
java.util.HashMap<Place,java.util.List<AbstractToken>> |
Marking.getPlaceToken()
Gets the place token. |
Methods in vanted.petrinetelements.cpn with parameters of type Place | |
---|---|
void |
Marking.addPlaceToken(Place place)
Adds the place token. |
Uses of Place in vanted.petrinetelements.misc |
---|
Method parameters in vanted.petrinetelements.misc with type arguments of type Place | |
---|---|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |