net.jqwik.engine.properties.ForAllParametersGenerator Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jqwik-engine Show documentation

Jqwik Engine module

There is a newer version: 1.9.1

package net.jqwik.engine.properties;

import java.util.*;

import net.jqwik.api.*;

public interface ForAllParametersGenerator extends Iterator>> {

	default int edgeCasesTotal() {
		return 0;
	}

	default int edgeCasesTried() {
		return 0;
	}

    void reset();
}