Package net.jqwik.api.stateful

Interface Summary

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

Enum Summary

Enum	Description
ActionSequence.RunState