choco.cp.model.managers.operators
Class DivManager

java.lang.Object
  extended by choco.cp.model.managers.operators.DivManager
All Implemented Interfaces:
ExpressionManager

public final class DivManager
extends Object
implements ExpressionManager


Field Summary
 
Fields inherited from interface choco.kernel.model.constraints.ExpressionManager
LOGGER
 
Constructor Summary
DivManager()
           
 
Method Summary
 INode makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Make a solver expression variable from a model expression variable
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DivManager

public DivManager()
Method Detail

makeNode

public INode makeNode(Solver solver,
                      Constraint[] cstrs,
                      Variable[] vars)
Make a solver expression variable from a model expression variable

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


Copyright © 2012. All Rights Reserved.