Package net.jqwik.engine.properties

Interface ForAllParametersGenerator

All Superinterfaces:

Iterator<List<net.jqwik.api.Shrinkable<Object>>>

All Known Implementing Classes:

DataBasedShrinkablesGenerator, ExhaustiveShrinkablesGenerator, RandomizedShrinkablesGenerator

public interface ForAllParametersGenerator
extends Iterator<List<net.jqwik.api.Shrinkable<Object>>>

Method Summary

Modifier and Type	Method	Description
default int	edgeCasesTotal()
default int	edgeCasesTried()
void	reset()

Methods inherited from interface java.util.Iterator

forEachRemaining, hasNext, next, remove

Method Details

edgeCasesTotal

default int edgeCasesTotal()

edgeCasesTried

default int edgeCasesTried()

reset

void reset()