Package net.jqwik.api.stateful

@NullMarked package net.jqwik.api.stateful

Zugehörige Packages

Package	Beschreibung
net.jqwik.api

Klasse	Beschreibung
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>