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

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.global.AbstractResourceManager
              extended by choco.cp.model.managers.constraints.global.DisjunctiveManager
All Implemented Interfaces:
ExpressionManager

public final class DisjunctiveManager
extends AbstractResourceManager

Author:
Arnaud Malapert

Field Summary
 
Fields inherited from interface choco.kernel.model.constraints.ExpressionManager
LOGGER
 
Constructor Summary
DisjunctiveManager()
           
 
Method Summary
protected  SConstraint makeConstraint(CPSolver solver, Variable[] variables, ResourceParameters rdata, List<String> options)
           
 
Methods inherited from class choco.cp.model.managers.constraints.global.AbstractResourceManager
getFavoriteDomains, getHorizon, makeConstraint
 
Methods inherited from class choco.cp.model.managers.MixedConstraintManager
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

DisjunctiveManager

public DisjunctiveManager()
Method Detail

makeConstraint

protected SConstraint makeConstraint(CPSolver solver,
                                     Variable[] variables,
                                     ResourceParameters rdata,
                                     List<String> options)
Specified by:
makeConstraint in class AbstractResourceManager


Copyright © 2012. All Rights Reserved.