Class Term.Binary

Direct Known Subclasses:
Term.Assign, Term.BinaryB, Term.BinaryI, Term.BinaryN
Enclosing class:
Term

public abstract static class Term.Binary extends Term.Op
  • Field Details

    • arg1

      protected final Term arg1
    • arg2

      protected final Term arg2
  • Constructor Details

    • Binary

      protected Binary(String name, int type, Term arg1, Term arg2)