Class Distinct

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.clp.Distinct

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class Distinct
extends AbstractSingleResultPredicate

all_different([X,Y,Z]) - enforce that none of the given CLP variables share the same value.

Constructor Summary

Constructors

Constructor	Description
Distinct()

Method Summary

Modifier and Type	Method	Description
boolean	evaluate(Term arg)

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

Distinct

public Distinct()

Method Details

evaluate

public boolean evaluate(Term arg)

Overrides:

evaluate in class AbstractSingleResultPredicate