Interface ArithFunction

All Known Implementing Classes:
Abs, acos, asin, atan, Average, ceil, cos, Count, DefaultArithFunction, e, floor, Length, log, Max, mean, median, Min, pi, Random, Round, RuleToFunction, sin, Sqrt, StdDev, Sum, tan, time

public interface ArithFunction
Common interface for all arithmetic functions
  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    returns true if the arguments of the function can be unground (as in .count)
    boolean
    checkArity(int a)
    returns true if a is a good number of arguments for the function
    double
    evaluates/computes the function based on the args
    returns the name of the function
  • Method Details

    • getName

      String getName()
      returns the name of the function
    • evaluate

      double evaluate(TransitionSystem ts, Term[] args) throws Exception
      evaluates/computes the function based on the args
      Throws:
      Exception
    • checkArity

      boolean checkArity(int a)
      returns true if a is a good number of arguments for the function
    • allowUngroundTerms

      boolean allowUngroundTerms()
      returns true if the arguments of the function can be unground (as in .count)