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

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.ReifiedNandManager
All Implemented Interfaces:
ExpressionManager

public class ReifiedNandManager
extends IntConstraintManager

User: cprudhom Mail: cprudhom(a)emn.fr Date: 28 mai 2010 Since: Choco 2.1.1


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

ReifiedNandManager

public ReifiedNandManager()
Method Detail

makeConstraint

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

Specified by:
makeConstraint in class ConstraintManager<IntegerVariable>
Parameters:
solver - associated solver
variables - reified variable + literals
parameters - : a "hook" to attach any kind of parameters to constraints
options - Options
Returns:
SConstraint


Copyright © 2012. All Rights Reserved.