net.jqwik.engine.properties.stateful.ActionGenerator Maven / Gradle / Ivy
package net.jqwik.engine.properties.stateful;
import java.util.*;
import net.jqwik.api.*;
import net.jqwik.api.stateful.*;
import org.jspecify.annotations.*;
interface ActionGenerator {
Action next(M model);
List>> generated();
}