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	Description
In()

Method Summary

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

Methods inherited from class AbstractSingleResultPredicate

evaluate, 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

In

public In()

Method Details

evaluate

public boolean evaluate(Term t,
 Term range)

Overrides:

evaluate in class AbstractSingleResultPredicate