choco.cp.model.managers.constraints.set
Class SetLexicographicOrderingSetManager

java.lang.Object
  extended by choco.kernel.model.constraints.ConstraintManager<SetVariable>
      extended by choco.cp.model.managers.SetConstraintManager
          extended by choco.cp.model.managers.constraints.set.SetLexicographicOrderingSetManager
All Implemented Interfaces:
ExpressionManager

public final class SetLexicographicOrderingSetManager
extends SetConstraintManager


Field Summary
 
Fields inherited from interface choco.kernel.model.constraints.ExpressionManager
LOGGER
 
Constructor Summary
SetLexicographicOrderingSetManager()
           
 
Method Summary
 SConstraint makeConstraint(Solver solver, SetVariable[] setVariables, Object o, List<String> strings)
          Build a constraint for the given solver and "model variables"
 
Methods inherited from class choco.cp.model.managers.SetConstraintManager
getFavoriteDomains, 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

SetLexicographicOrderingSetManager

public SetLexicographicOrderingSetManager()
Method Detail

makeConstraint

public SConstraint makeConstraint(Solver solver,
                                  SetVariable[] setVariables,
                                  Object o,
                                  List<String> strings)
Description copied from class: ConstraintManager
Build a constraint for the given solver and "model variables"

Specified by:
makeConstraint in class ConstraintManager<SetVariable>
Parameters:
solver - solver to build constraint in
setVariables - array of variables
o - Object defining the paramaters
strings - set of options
Returns:
One SConstraint


Copyright © 2012. All Rights Reserved.