Class Term.NotI

  • Enclosing class:
    Term

    public static final class Term.NotI
    extends Term.UnaryI
    The bitwise NOT operation:
    ~ i-term
    • Constructor Detail

      • NotI

        public NotI​(Term arg)
    • Method Detail

      • evalI

        public int evalI​(EvalEnv env)
        Description copied from class: Term
        Evaluates this term to an int value.
        Specified by:
        evalI in class Term
        Parameters:
        env - the application dependant environment.
        Returns:
        an int 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.