net.jqwik.api.stateful

Interface Invariant<T>

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
 @API(status=MAINTAINED,
     since="1.0")
public interface Invariant<T>

Method Summary

Modifier and Type	Method and Description
void	check(T model)

Method Detail

check

void check(T model)