choco.cp.model.managers.variables
Class TaskVariableManager
java.lang.Object
choco.cp.model.managers.variables.TaskVariableManager
- All Implemented Interfaces:
- ExpressionManager, VariableManager<TaskVariable>
public final class TaskVariableManager
- extends Object
- implements VariableManager<TaskVariable>
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TaskVariableManager
public TaskVariableManager()
makeVariable
public Var makeVariable(Solver solver,
TaskVariable var)
- Build a set variable for the given solver
- Specified by:
makeVariable
in interface VariableManager<TaskVariable>
- 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.