org.deri.iris.builtins.numeric
Class NumericModulusBuiltin

java.lang.Object
  org.deri.iris.builtins.AbstractBuiltin
      org.deri.iris.builtins.ArithmeticBuiltin
          org.deri.iris.builtins.ModulusBuiltin
              org.deri.iris.builtins.numeric.NumericModulusBuiltin

All Implemented Interfaces:

Comparable<IAtom>, IAtom, IBuiltinAtom

public class NumericModulusBuiltin
extends ModulusBuiltin

Represents the RIF built-in function func:numeric-modulus.

Field Summary

Fields inherited from class org.deri.iris.builtins.AbstractBuiltin

EMPTY_TERM

Constructor Summary

NumericModulusBuiltin(ITerm... terms)

Method Summary

protected ITerm

computeMissingTerm(int missingTermIndex, ITerm[] terms) Compute the missing term when the other two are known.

Methods inherited from class org.deri.iris.builtins.ArithmeticBuiltin

evaluateTerms, maxUnknownVariables, testForEquality

Methods inherited from class org.deri.iris.builtins.AbstractBuiltin

compareTo, equals, evaluate, getPredicate, getTuple, hashCode, isBuiltin, isGround, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

NumericModulusBuiltin

public NumericModulusBuiltin(ITerm... terms)

Method Detail

computeMissingTerm

protected ITerm computeMissingTerm(int missingTermIndex,
                                   ITerm[] terms)
                            throws EvaluationException

Description copied from class: ArithmeticBuiltin

Compute the missing term when the other two are known.

Overrides:

computeMissingTerm in class ModulusBuiltin

terms - The collection of all terms.

Returns:

The computed value.

Throws:

EvaluationException