choco.cp.model.managers.constraints.integer
Class MinMaxManager

java.lang.Object
  extended by choco.kernel.model.constraints.ConstraintManager<Variable>
      extended by choco.cp.model.managers.MixedConstraintManager
          extended by choco.cp.model.managers.constraints.integer.MinMaxManager
All Implemented Interfaces:
ExpressionManager

public final class MinMaxManager
extends MixedConstraintManager

A manager to build min or max constraints


Field Summary
 
Fields inherited from interface choco.kernel.model.constraints.ExpressionManager
LOGGER
 
Constructor Summary
MinMaxManager()
           
 
Method Summary
 SConstraint buildConstraint(Solver solver, Variable[] variables, Boolean parameter, List<String> options, IntDomainVar varM)
           
 SConstraint makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint[] makeConstraintAndOpposite(Solver solver, Variable[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 
Methods inherited from class choco.cp.model.managers.MixedConstraintManager
getFavoriteDomains, 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

MinMaxManager

public MinMaxManager()
Method Detail

makeConstraint

public SConstraint makeConstraint(Solver solver,
                                  Variable[] variables,
                                  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<Variable>
Parameters:
solver - solver to build constraint in
variables - array of variables
parameters - Object defining the paramaters
options - set of options
Returns:
One SConstraint

makeConstraintAndOpposite

public SConstraint[] makeConstraintAndOpposite(Solver solver,
                                               Variable[] variables,
                                               Object parameters,
                                               List<String> options)
Build a constraint and its opposite for the given solver and "model variables"

Overrides:
makeConstraintAndOpposite in class MixedConstraintManager
Parameters:
solver -
variables -
parameters -
options -
Returns:
array of 2 SConstraint object, the constraint and its opposite

buildConstraint

public SConstraint buildConstraint(Solver solver,
                                   Variable[] variables,
                                   Boolean parameter,
                                   List<String> options,
                                   IntDomainVar varM)


Copyright © 2012. All Rights Reserved.