Class Term.NotB

Enclosing class:
Term

public static final class Term.NotB extends Term.UnaryB
The logical NOT operation
! b-term
  • Constructor Details

    • NotB

      public NotB(Term arg)
  • 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.