|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AbstractToken | |
---|---|
vanted.attribute.token | |
vanted.petrinetelements | |
vanted.petrinetelements.cpn |
Uses of AbstractToken in vanted.attribute.token |
---|
Methods in vanted.attribute.token that return types with arguments of type AbstractToken | |
---|---|
java.util.List<AbstractToken> |
AbstractTokenAttribute.getTokens()
Gets the tokens. |
Methods in vanted.attribute.token with parameters of type AbstractToken | |
---|---|
boolean |
AbstractTokenAttribute.addToken(AbstractToken token)
Adds the token. |
boolean |
TokenAttributeContinuous.changeTokenValue(AbstractToken token,
double value)
Changes token value. |
boolean |
AbstractTokenAttribute.removeToken(AbstractToken token)
Removes the token. |
Uses of AbstractToken in vanted.petrinetelements |
---|
Subclasses of AbstractToken in vanted.petrinetelements | |
---|---|
class |
TokenContinuous
The Class TokenContinuous for continuous token handling. |
class |
TokenDiscrete
The Class TokenDiscrete for discrete token handling. |
Methods in vanted.petrinetelements that return types with arguments of type AbstractToken | |
---|---|
java.util.List<AbstractToken> |
Place.getTokens()
Gets the tokens of a place. |
java.util.List<AbstractToken> |
Place.getTokensDiscrete()
Gets the discrete tokens of a place. |
Methods in vanted.petrinetelements with parameters of type AbstractToken | |
---|---|
void |
Place.addToken(AbstractToken token)
Adds the token of a place (if the place is a logical place then this token of the associated places is also added). |
void |
Place.removeToken(AbstractToken token)
Removes the token of a place (if the place is a logical place then this token of the associated places is also removed). |
Uses of AbstractToken in vanted.petrinetelements.cpn |
---|
Subclasses of AbstractToken in vanted.petrinetelements.cpn | |
---|---|
class |
TokenObject
The Class TokenObject for token handling. |
Methods in vanted.petrinetelements.cpn that return types with arguments of type AbstractToken | |
---|---|
java.util.List<AbstractToken> |
Marking.getAllTokens()
Gets the all tokens. |
java.util.HashMap<Place,java.util.List<AbstractToken>> |
Marking.getPlaceToken()
Gets the place token. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |