parser.absconparseur.components
Class PAllDifferent

java.lang.Object
  extended by parser.absconparseur.components.PConstraint
      extended by parser.absconparseur.components.PGlobalConstraint
          extended by parser.absconparseur.components.PAllDifferent

public class PAllDifferent
extends PGlobalConstraint


Field Summary
 
Fields inherited from class parser.absconparseur.components.PConstraint
chocoCstr, LOGGER, name, scope
 
Constructor Summary
PAllDifferent(String name, PVariable[] scope)
           
 
Method Summary
 long computeCostOf(int[] tuple)
          For CSP, returns 0 is the constraint is satified and 1 if the constraint is violated.
 String toString()
           
 
Methods inherited from class parser.absconparseur.components.PGlobalConstraint
computeObjectPositionsInScope, computeStringRepresentationOf
 
Methods inherited from class parser.absconparseur.components.PConstraint
getArity, getChocoCstr, getMaximalCost, getName, getPositionInScope, getScope, hashCode, isGuaranteedToBeDivisionByZeroFree, isGuaranteedToBeOverflowFree, setChocoCstr
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PAllDifferent

public PAllDifferent(String name,
                     PVariable[] scope)
Method Detail

computeCostOf

public long computeCostOf(int[] tuple)
Description copied from class: PConstraint
For CSP, returns 0 is the constraint is satified and 1 if the constraint is violated.
For WCSP, returns the cost for the given tuple.

Specified by:
computeCostOf in class PConstraint

toString

public String toString()
Overrides:
toString in class PConstraint


Copyright © 2012. All Rights Reserved.