Package net.jqwik.api.stateful

@NullMarked package net.jqwik.api.stateful

Related Packages

Package	Description
net.jqwik.api

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