|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Token | |
---|---|
org.processmining.framework.models.petrinet |
Uses of Token in org.processmining.framework.models.petrinet |
---|
Methods in org.processmining.framework.models.petrinet that return Token | |
---|---|
Token |
Place.addToken(Token to)
Adds the specified token to this place. |
Token |
Place.getRandomAvailableToken()
Gets one of the tokens from this place. |
Token |
Place.getRandomAvailableToken(java.util.Date timestamp)
Gets one of the tokens from this place that is available at the given timestamp. |
Token |
Place.removeToken()
Removes one of the tokens held by this place. |
Token |
Place.removeToken(Token to)
Removes the specified token from this place. |
Methods in org.processmining.framework.models.petrinet with parameters of type Token | |
---|---|
Token |
Place.addToken(Token to)
Adds the specified token to this place. |
Token |
Place.removeToken(Token to)
Removes the specified token from this place. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |