org.deri.iris.builtins.datatype
Class IsNegativeIntegerBuiltin

java.lang.Object
  org.deri.iris.builtins.AbstractBuiltin
      org.deri.iris.builtins.BooleanBuiltin
          org.deri.iris.builtins.datatype.IsNegativeIntegerBuiltin

All Implemented Interfaces:

Comparable<IAtom>, IAtom, IBuiltinAtom

public class IsNegativeIntegerBuiltin
extends BooleanBuiltin

Checks if a term is of type 'NegativeInteger'.

Author:

Adrian Marte

Field Summary

static IPredicate

PREDICATE The predicate defining this built-in.

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

EMPTY_TERM

Constructor Summary

IsNegativeIntegerBuiltin(ITerm... terms)
Constructor.

Method Summary

protected boolean	computeResult(ITerm[] terms) Compute the result of the comparison.
static boolean	isNegativeInteger(ITerm term)

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

Field Detail

PREDICATE

public static final IPredicate PREDICATE

The predicate defining this built-in.

Constructor Detail

IsNegativeIntegerBuiltin

public IsNegativeIntegerBuiltin(ITerm... terms)

Constructor.

Parameters:

terms - The list of terms. Must always be of length 1 in this case.

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.

isNegativeInteger

public static boolean isNegativeInteger(ITerm term)