org.deri.iris.builtins.datatype
Class IsNonNegativeIntegerBuiltin

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

All Implemented Interfaces:

Comparable<IAtom>, IAtom, IBuiltinAtom

public class IsNonNegativeIntegerBuiltin
extends BooleanBuiltin

Checks if a term is of type 'NonNegativeInteger'.

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

IsNonNegativeIntegerBuiltin(ITerm... terms)
Constructor.

Method Summary

protected boolean	computeResult(ITerm[] terms) Compute the result of the comparison.
static boolean	isNonNegativeInteger(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

IsNonNegativeIntegerBuiltin

public IsNonNegativeIntegerBuiltin(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.

isNonNegativeInteger

public static boolean isNonNegativeInteger(ITerm term)