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.