Package 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 SummaryAll Methods Instance Methods Abstract Methods Modifier and Type Method Description voidcheck(T model)
 
- 
- 
- 
Method Detail- 
checkvoid check(T model) 
 
- 
 
-