| Interface | Description | 
|---|---|
| Action<M> | 
 An action class represents a state change that can be preformed on a model  
M. | 
| ActionSequence<M> | 
 A sequence of Actions that can be run with a model of type  
M | 
| ActionSequenceArbitrary<M> | |
| Invariant<T> | 
| Enum | Description | 
|---|---|
| ActionSequence.RunState |