choco.cp.model.managers.variables
Class SetVariableManager

java.lang.Object
  extended by choco.cp.model.managers.variables.SetVariableManager
All Implemented Interfaces:
ExpressionManager, VariableManager<SetVariable>

public final class SetVariableManager
extends Object
implements VariableManager<SetVariable>

Created by IntelliJ IDEA. User: charles Date: 8 août 2008 Time: 13:26:41


Field Summary
 
Fields inherited from interface choco.kernel.model.constraints.ExpressionManager
LOGGER
 
Constructor Summary
SetVariableManager()
           
 
Method Summary
 INode makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build a expression node
 Var makeVariable(Solver solver, SetVariable var)
          Build a set variable for the given solver
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SetVariableManager

public SetVariableManager()
Method Detail

makeVariable

public Var makeVariable(Solver solver,
                        SetVariable var)
Build a set variable for the given solver

Specified by:
makeVariable in interface VariableManager<SetVariable>
Parameters:
solver -
var -
Returns:
a set variable

makeNode

public INode makeNode(Solver solver,
                      Constraint[] cstrs,
                      Variable[] vars)
Build a expression node

Specified by:
makeNode in interface ExpressionManager
Parameters:
solver -
cstrs - constraints
vars - variables
Returns:


Copyright © 2012. All Rights Reserved.