Class Term.Unary

Direct Known Subclasses:
Term.UnaryB, Term.UnaryI, Term.UnaryN
Enclosing class:
Term

public abstract static class Term.Unary extends Term.Op
An abstract unary (= 1 operand) operation.
  • Field Details

    • arg

      protected final Term arg
  • Constructor Details

    • Unary

      protected Unary(String name, int type, Term arg)
  • Method Details

    • pre

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