Class ArithFunctionTerm

All Implemented Interfaces:
LogicalFormula, NumberTerm, Term, ToDOM, ToJson, java.io.Serializable, java.lang.Cloneable, java.lang.Comparable<Term>
Direct Known Subclasses:
ArithExpr

public class ArithFunctionTerm
extends Structure
implements NumberTerm
Represents an arithmetic function, like math.max(arg1,arg2) -- a functor (math.max) and two arguments. A Structure is thus used to store the data.
Author:
Jomi
See Also:
Serialized Form
  • Field Details

    • serialVersionUID

      private static final long serialVersionUID
      See Also:
      Constant Field Values
    • logger

      private static java.util.logging.Logger logger
    • value

      protected NumberTerm value
    • function

      private ArithFunction function
    • agent

      private Agent agent
  • Constructor Details

    • ArithFunctionTerm

      public ArithFunctionTerm​(ArithFunction function)
    • ArithFunctionTerm

      public ArithFunctionTerm​(ArithFunctionTerm af)
    • ArithFunctionTerm

      public ArithFunctionTerm​(java.lang.String functor, int arity)
  • Method Details