org.projog.core.predicate.builtin.clp

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 and Description
Distinct()

Method Summary

Modifier and Type	Method and Description
boolean	evaluate(Term arg)

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

Distinct

public Distinct()

Method Detail

evaluate

public boolean evaluate(Term arg)

Overrides:

evaluate in class AbstractSingleResultPredicate