Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
modhelxs.abstractsemantics.Token

Packages that use Token
modhelxs.abstractsemantics |
modhelxs.mocs.de |

Uses of Token in modhelxs.abstractsemantics

Fields in modhelxs.abstractsemantics with type parameters of type Token
`private java.util.List<Token>` | `Pin.tokens_` The tokens present on this pin.
`(package private) java.util.Map<Token,java.lang.Object>` | `ModelOfComputationImpl.tokenValues_` Association of values to tokens.

Methods in modhelxs.abstractsemantics that return Token
`Token` | `ModelOfComputationImpl.createToken(java.lang.Object val)`
`abstract Token` | `ModelOfComputation.createToken(java.lang.Object val)` Create a new token for this MoC.
`Token` | `ModelOfComputationImpl.duplicateToken(Token tok)`
`abstract Token` | `ModelOfComputation.duplicateToken(Token t)` Duplicate a token (return a new, different token, associated to the same value.
`Token` | `Pin.getToken(boolean remove)` Get a token from this pin, and remove it if `remove` is true.
`Token` | `Token.setValue(java.lang.Object o)` Set the value which is associated to this token.

Methods in modhelxs.abstractsemantics that return types with arguments of type Token
`java.util.Collection<Token>` | `Pin.getTokens()` Get the tokens that are on this pin.

Methods in modhelxs.abstractsemantics with parameters of type Token
`Pin` | `Pin.addToken(Token token)` Add a token to this pin.
`Token` | `ModelOfComputationImpl.duplicateToken(Token tok)`
`abstract Token` | `ModelOfComputation.duplicateToken(Token t)` Duplicate a token (return a new, different token, associated to the same value.
`java.lang.Object` | `ModelOfComputationImpl.getTokenValue(Token t)`
`abstract java.lang.Object` | `ModelOfComputation.getTokenValue(Token t)` Get the value associated to a token by this MoC.
`void` | `ModelOfComputationImpl.setTokenValue(Token t, java.lang.Object val)`
`abstract void` | `ModelOfComputation.setTokenValue(Token t, java.lang.Object val)` Set the value associated to a token by this MoC.

Uses of Token in modhelxs.mocs.de

Fields in modhelxs.mocs.de declared as Token
`private Token` | `DEMoC.DEEvent.token_` The token for the value of this event.

Constructors in modhelxs.mocs.de with parameters of type Token
`DEMoC.DEEvent(Block e, Token t, Pin p)` Build a new DE event.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES