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
  
  All Methods Instance Methods Concrete Methods
  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 Detail
  - IsNonVar
```
public IsNonVar()
```
- Method Detail
  - evaluate
```
protected boolean evaluate(Term arg)
```
    Overrides:
    
    evaluate in class AbstractSingleResultPredicate