Interface DefaultModelCriteria.AtomicFormulaTester<M>

  • Enclosing class:
    DefaultModelCriteria<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 DefaultModelCriteria.AtomicFormulaTester<M>