org.projog.core.predicate.builtin.classify

Class IsInteger

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.classify.IsInteger

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class IsInteger
extends AbstractSingleResultPredicate

integer(X) - checks that a term is an integer.

integer(X) succeeds if X currently stands for an integer.

Constructor Summary

Constructors

Constructor and Description
IsInteger()

Method Summary

Modifier and Type	Method and Description
protected boolean	evaluate(Term arg)

Methods inherited from class org.projog.core.predicate.AbstractSingleResultPredicate

evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.projog.core.predicate.PredicateFactory

isAlwaysCutOnBacktrack

Constructor Detail

IsInteger

public IsInteger()

Method Detail

evaluate

protected boolean evaluate(Term arg)

Overrides:

evaluate in class AbstractSingleResultPredicate