Class Operator

All Implemented Interfaces:
Serializable, Term
Direct Known Subclasses:
Add, Div, Mul, Sub

public abstract class Operator extends AbstractBiFunction
The infix bifunction term.
See Also:
  • Constructor Details

    • Operator

      public Operator(String name, Term x, Term y)
      Constructor.
      Parameters:
      name - the operator name.
      x - the left operand.
      y - the right operand.
  • Method Details