org.projog.core.predicate.builtin.clp

Class Resolve

java.lang.Object

org.projog.core.predicate.AbstractPredicateFactory

org.projog.core.predicate.builtin.clp.Resolve

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class Resolve
extends AbstractPredicateFactory

label([X]) - assigns concrete values to the given CLP variables.

Constructor Summary

Constructors

Constructor and Description
Resolve()

Method Summary

Modifier and Type	Method and Description
Predicate	getPredicate(Term arg)

Methods inherited from class org.projog.core.predicate.AbstractPredicateFactory

getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicate, getPredicate, getPredicate, 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

Resolve

public Resolve()

Method Detail

getPredicate

public Predicate getPredicate(Term arg)

Overrides:

getPredicate in class AbstractPredicateFactory