Class AndExpression.AndElaborator

Enclosing class:
AndExpression

public static class AndExpression.AndElaborator extends BooleanElaborator
Elaborator for an AndExpression (P and Q)
  • Constructor Details

    • AndElaborator

      public AndElaborator()
  • Method Details

    • 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.