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

Description

IsNonVar()
Method Summary

Modifier and Type

Method

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 Details
- IsNonVar
  
  public IsNonVar()
Method Details
- evaluate
  
  protected boolean evaluate(Term arg)
  
  Overrides:
  
  evaluate in class AbstractSingleResultPredicate