Interface ModelCriteriaNode.AtomicFormulaInstantiator<M>

Enclosing class:
ModelCriteriaNode<M>
Functional Interface:
This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface public static interface ModelCriteriaNode.AtomicFormulaInstantiator<M>