Package 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	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 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

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)