Class Term.NEqD

Enclosing class:
Term

public static final class Term.NEqD extends Term.BinaryB
The double NEQ operation:
d-term != d-term
  • Constructor Details

    • NEqD

      public NEqD(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