Uses of Class
vanted.petrinetelements.AbstractToken

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.