|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectvanted.petrinetelements.cpn.Marking
public class Marking
The Class Marking contains the mapping between tokens and places.
Constructor Summary | |
---|---|
Marking(PetriNet pn)
Instantiates a new marking. |
Method Summary | |
---|---|
void |
addPlaceToken(Place place)
Adds the place token. |
java.util.List<AbstractToken> |
getAllTokens()
Gets the all tokens. |
PetriNet |
getPetriNet()
Gets the petri net. |
java.util.HashMap<Place,java.util.List<AbstractToken>> |
getPlaceToken()
Gets the place token. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Marking(PetriNet pn)
pn
- the pnMethod Detail |
---|
public void addPlaceToken(Place place)
place
- the placepublic java.util.HashMap<Place,java.util.List<AbstractToken>> getPlaceToken()
public java.util.List<AbstractToken> getAllTokens()
public PetriNet getPetriNet()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |