| Class | Description |
|---|---|
| ConcreteState | |
| ConcreteSuccessor | |
| ConcreteTransition | |
| ConcreteTransitionRecord | |
| ConcreteVariable | |
| Limit |
A limit consists of a value and information about whether the limit
is strict or not.
|
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.