Package net.jqwik.api.stateful
-
Interface Summary Interface Description Action<S> An action class represents a state change that can be preformed on a statefulS
.ActionSequence<M> A sequence of Actions that can be run with a model of typeM
ActionSequenceArbitrary<M> Invariant<T> -
Enum Summary Enum Description ActionSequence.RunState