Class 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

Modifier and Type	Method	Description
protected boolean	evaluate(Term arg)
protected boolean	evaluate(Term arg1, Term arg2, Term arg3)

Methods inherited from class AbstractSingleResultPredicate

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

Methods inherited from class Object

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

Methods inherited from interface PredicateFactory

isAlwaysCutOnBacktrack, preprocess

Constructor Details

NumberVars

public NumberVars()

Method Details

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