Package net.jqwik.api.stateful

package net.jqwik.api.stateful

Related Packages

Package	Description
net.jqwik.api

Class	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
ActionSequence.RunState
ActionSequenceArbitrary<M>
Invariant<T>