Class Term.EqB

Enclosing class:
Term

public static final class Term.EqB extends Term.BinaryB
The boolean EQ operation:
b-term == b-term
  • Constructor Details

    • EqB

      public EqB(Term arg1, Term arg2)
  • Method Details

    • evalB

      public boolean evalB(EvalEnv env)
      Description copied from class: Term
      Evaluates this term to a boolean value.
      Specified by:
      evalB in class Term
      Parameters:
      env - the application dependant environment.
      Returns:
      a boolean value
    • accept

      public <T> T accept(TermVisitor<T> visitor)
      Description copied from class: Term
      Visitor support.
      Specified by:
      accept in class Term
      Parameters:
      visitor - A visitor.
    • pre

      public int pre()
      Specified by:
      pre in class Term