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
private void	assertRange(Term t)
boolean	evaluate(Term t, Term range)
private boolean	set(Term t, long min, long max)
private boolean	setAll(Term t, long min, long max)

Methods inherited from class AbstractSingleResultPredicate

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

Constructor Details

In

public In()

Method Details

evaluate

public boolean evaluate(Term t,
 Term range)

Overrides:

evaluate in class AbstractSingleResultPredicate

assertRange

private void assertRange(Term t)

setAll

private boolean setAll(Term t,
 long min,
 long max)

set

private boolean set(Term t,
 long min,
 long max)