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 List<org.projog.clp.Constraint>

createConstraints(List<org.projog.clp.Expression> expressions)

boolean

evaluate(Term arg)

private List<org.projog.clp.Expression>

getOrCreateVariables(Term arg)

Methods inherited from class AbstractSingleResultPredicate
evaluate, 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

Constructor Details
- Distinct
  
  public Distinct()
Method Details
- evaluate
  
  public boolean evaluate(Term arg)
  
  Overrides:
  
  evaluate in class AbstractSingleResultPredicate
- getOrCreateVariables
  
  private List<org.projog.clp.Expression> getOrCreateVariables(Term arg)
- createConstraints
  
  private List<org.projog.clp.Constraint> createConstraints(List<org.projog.clp.Expression> expressions)