choco.cp.model.managers.operators
Class MaxManager
java.lang.Object
choco.cp.model.managers.operators.MaxManager
- All Implemented Interfaces:
- ExpressionManager
public final class MaxManager
- extends Object
- implements ExpressionManager
User: charles
Date: 20 août 2008
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MaxManager
public MaxManager()
makeNode
public INode makeNode(Solver solver,
Constraint[] cstrs,
Variable[] vars)
- Build arithm node from a IntegerExpressionVariable
- Specified by:
makeNode
in interface ExpressionManager
- Parameters:
solver
- vars
- cstrs
- constraints
- Returns:
Copyright © 2012. All Rights Reserved.