NumberVars

java.lang.Object
- org.projog.core.predicate.AbstractSingleResultPredicate
- - org.projog.core.predicate.builtin.construct.NumberVars

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory
```
public final class NumberVars
extends AbstractSingleResultPredicate
```
numbervars(Term,Start,End) - unifies free variables of a term.
Unifies the free variables in Term with a structure of the form $VAR(N) where N is the number of the variable. Numbering of the variables starts with the numeric value represented by Start. End is unified with the number that would of been given to the next variable.

Constructor Summary

Constructors
Constructor Description

NumberVars()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`protected boolean`	`evaluate(Term arg)`
`protected boolean`	`evaluate(Term arg1, Term arg2, Term arg3)`
`private long`	`numberVars(Term term, long start)`

Methods inherited from class org.projog.core.predicate.AbstractSingleResultPredicate
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
- NumberVars
```
public NumberVars()
```

Method Detail

evaluate
```
protected boolean evaluate(Term arg)
```
Overrides:

evaluate in class AbstractSingleResultPredicate

evaluate

protected boolean evaluate(Term arg1,
                           Term arg2,
                           Term arg3)

Overrides:: evaluate in class AbstractSingleResultPredicate

numberVars

private long numberVars(Term term,
                        long start)