|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Interface Summary | |
|---|---|
| RightState | This interface describes the variants of a state change instruction. |
| Class Summary | |
|---|---|
| StateChange | This state change instruction simply sets the current state to a new value. |
| StatePop | This state change instruction pops the current state from the state stack. |
| StatePush | This state change instruction pushes the current state to the state stack and sets the current state to a new value. |
This package contains some state classes for compiling OCPs.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||