org.deri.iris.builtins.numeric
Class NumericGreaterEqualBuiltin

java.lang.Object
  org.deri.iris.builtins.AbstractBuiltin
      org.deri.iris.builtins.BooleanBuiltin
          org.deri.iris.builtins.GreaterEqualBuiltin
              org.deri.iris.builtins.numeric.NumericGreaterEqualBuiltin

All Implemented Interfaces:

Comparable<IAtom>, IAtom, IBuiltinAtom

public class NumericGreaterEqualBuiltin
extends GreaterEqualBuiltin

Represents the RIF built-in predicate pred:numeric-greater-equal-than.

Field Summary

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

EMPTY_TERM

Constructor Summary

NumericGreaterEqualBuiltin(ITerm... terms)

Method Summary

protected boolean

computeResult(ITerm[] terms) Compute the result of the comparison.

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

evaluateTerms

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

NumericGreaterEqualBuiltin

public NumericGreaterEqualBuiltin(ITerm... terms)

Method Detail

computeResult

protected boolean computeResult(ITerm[] terms)

Description copied from class: BooleanBuiltin

Compute the result of the comparison.

Overrides:

computeResult in class GreaterEqualBuiltin

Parameters:

terms - The terms

Returns:

The result of the comparison.