org.deri.iris.builtins
Class NotExactEqualBuiltin

java.lang.Object
  org.deri.iris.builtins.AbstractBuiltin
      org.deri.iris.builtins.BooleanBuiltin
          org.deri.iris.builtins.NotExactEqualBuiltin

All Implemented Interfaces:

Comparable<IAtom>, IAtom, IBuiltinAtom

public class NotExactEqualBuiltin
extends BooleanBuiltin

Built-in to compare two terms for exact inequality. Two terms are exactly not equal if they either: a) have different types b) have the same type, but have different values. This comparison respects floating point round-off errors.

Field Summary

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

EMPTY_TERM

Constructor Summary

NotExactEqualBuiltin(ITerm... terms)
Constructs a built-in.

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

NotExactEqualBuiltin

public NotExactEqualBuiltin(ITerm... terms)

Constructs a built-in. Two terms must be passed to the constructor, otherwise an exception will be thrown.

Parameters:

terms - the terms

Method Detail

computeResult

protected boolean computeResult(ITerm[] terms)

Description copied from class: BooleanBuiltin

Compute the result of the comparison.

Specified by:

computeResult in class BooleanBuiltin

Parameters:

terms - The terms

Returns:

The result of the comparison.