Class QuantifiedExpression.QuantifiedExprElaborator

  • Enclosing class:
    QuantifiedExpression

    public static class QuantifiedExpression.QuantifiedExprElaborator
    extends BooleanElaborator
    Elaborator for a quantified expression (some|every X in Y satisfies Z)
    • Constructor Detail

      • QuantifiedExprElaborator

        public QuantifiedExprElaborator()
    • Method Detail

      • elaborateForBoolean

        public BooleanEvaluator elaborateForBoolean()
        Description copied from class: Elaborator
        Get a function that evaluates the underlying expression in the form of a boolean, this being the effective boolean value of the expression.
        Specified by:
        elaborateForBoolean in class BooleanElaborator
        Returns:
        an evaluator for the expression that returns a boolean.