org.projog.core.predicate.builtin.construct

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 and Description
NumberVars()

Method Summary

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

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