choco.cp.model.managers.variables
Class SetVariableManager
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SetVariableManager
public SetVariableManager()
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
- constraintsvars
- variables
- Returns:
Copyright © 2012. All Rights Reserved.