org.projog.core.predicate.builtin.classify

Class IsNonVar

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.classify.IsNonVar

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class IsNonVar
extends AbstractSingleResultPredicate

nonvar(X) - checks that a term is not an uninstantiated variable.

nonvar(X) succeeds if X is not an uninstantiated variable.

Constructor Summary

Constructors

Constructor and Description
IsNonVar()

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

IsNonVar

public IsNonVar()

Method Detail

evaluate

protected boolean evaluate(Term arg)

Overrides:

evaluate in class AbstractSingleResultPredicate