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

Method Summary

Modifier and Type	Method	Description
private java.util.List<org.projog.clp.Constraint>	createConstraints(java.util.List<org.projog.clp.Expression> expressions)
boolean	evaluate(Term arg)
private java.util.List<org.projog.clp.Expression>	getOrCreateVariables(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

getOrCreateVariables

private java.util.List<org.projog.clp.Expression> getOrCreateVariables(Term arg)

createConstraints

private java.util.List<org.projog.clp.Constraint> createConstraints(java.util.List<org.projog.clp.Expression> expressions)