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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description private java.util.List<org.projog.clp.Constraint>createConstraints(java.util.List<org.projog.clp.Expression> expressions)booleanevaluate(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
-
-
-
-
Method Detail
-
evaluate
public boolean evaluate(Term arg)
- Overrides:
evaluatein classAbstractSingleResultPredicate
-
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)
-
-