choco.cp.model.managers.constraints.global
Class AllDifferentManager

java.lang.Object
  extended by choco.kernel.model.constraints.ConstraintManager<IntegerVariable>
      extended by choco.cp.model.managers.IntConstraintManager
          extended by choco.cp.model.managers.constraints.global.AllDifferentManager
All Implemented Interfaces:
ExpressionManager

public final class AllDifferentManager
extends IntConstraintManager

A manager to build new all different constraints (and more... soon)


Field Summary
 
Fields inherited from interface choco.kernel.model.constraints.ExpressionManager
LOGGER
 
Constructor Summary
AllDifferentManager()
           
 
Method Summary
 SConstraint defaultDetection(IntDomainVar[] vars, IEnvironment environment)
          make a choice if the user didn't specify the type of consistency desired
 int[] getFavoriteDomains(List<String> options)
           
 SConstraint makeConstraint(Solver solver, IntegerVariable[] vars, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 
Methods inherited from class choco.cp.model.managers.IntConstraintManager
makeConstraintAndOpposite, makeNode
 
Methods inherited from class choco.kernel.model.constraints.ConstraintManager
checkParameter, fail, fail, getACFavoriteIntDomains, getBCFavoriteIntDomains
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AllDifferentManager

public AllDifferentManager()
Method Detail

makeConstraint

public SConstraint makeConstraint(Solver solver,
                                  IntegerVariable[] vars,
                                  Object parameters,
                                  List<String> options)
Description copied from class: ConstraintManager
Build a constraint for the given solver and "model variables"

Specified by:
makeConstraint in class ConstraintManager<IntegerVariable>
Parameters:
solver - solver to build constraint in
vars - array of variables
parameters - Object defining the paramaters
options - set of options
Returns:
One SConstraint

getFavoriteDomains

public int[] getFavoriteDomains(List<String> options)
Overrides:
getFavoriteDomains in class IntConstraintManager
Parameters:
options - : the set of options on the constraint (Typically the level of consistency)
Returns:
a list of domains accepted by the constraint and sorted by order of preference

defaultDetection

public SConstraint defaultDetection(IntDomainVar[] vars,
                                    IEnvironment environment)
make a choice if the user didn't specify the type of consistency desired

Parameters:
vars -
environment -
Returns:


Copyright © 2012. All Rights Reserved.