org.projog.core.predicate.builtin.clp

Class In

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.clp.In

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class In
extends AbstractSingleResultPredicate

X in 1..4 / [X,Y,Z] ins 1..4 - restrict CLP variables to a range of values.

Constructor Summary

Constructors

Constructor and Description
In()

Method Summary

Modifier and Type	Method and Description
boolean	evaluate(Term t, Term range)

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

In

public In()

Method Detail

evaluate

public boolean evaluate(Term t,
                        Term range)

Overrides:

evaluate in class AbstractSingleResultPredicate