|
Hegel 0.11.4
Property-based testing for C++
|
Arguments for the StateMachine constructor. More...
#include <stateful.h>
Public Attributes | |
| State | initial_state |
| The state the first rule acts on. | |
Arguments for the StateMachine constructor.
| State | The type of the state the rules act on |