public class DefaultActionSequenceArbitrary<M> extends AbstractArbitraryBase implements net.jqwik.api.stateful.ActionSequenceArbitrary<M>
| Constructor and Description |
|---|
DefaultActionSequenceArbitrary(net.jqwik.api.Arbitrary<? extends net.jqwik.api.stateful.Action<M>> actionArbitrary) |
| Modifier and Type | Method and Description |
|---|---|
net.jqwik.api.RandomGenerator<net.jqwik.api.stateful.ActionSequence<M>> |
generator(int genSize) |
net.jqwik.api.stateful.ActionSequenceArbitrary<M> |
ofMaxSize(int maxSize) |
net.jqwik.api.stateful.ActionSequenceArbitrary<M> |
ofMinSize(int minSize) |
typedCloneclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitallValues, array, asGeneric, collect, exhaustive, exhaustive, filter, fixGenSize, flatMap, forEachValue, injectDuplicates, injectNull, iterator, list, map, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, unique, withSamplespublic DefaultActionSequenceArbitrary(net.jqwik.api.Arbitrary<? extends net.jqwik.api.stateful.Action<M>> actionArbitrary)