choco.cp.model.managers.constraints.global
Class DisjunctiveManager
java.lang.Object
choco.kernel.model.constraints.ConstraintManager<Variable>
choco.cp.model.managers.MixedConstraintManager
choco.cp.model.managers.constraints.global.AbstractResourceManager
choco.cp.model.managers.constraints.global.DisjunctiveManager
- All Implemented Interfaces:
- ExpressionManager
public final class DisjunctiveManager
- extends AbstractResourceManager
- Author:
- Arnaud Malapert
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DisjunctiveManager
public DisjunctiveManager()
makeConstraint
protected SConstraint makeConstraint(CPSolver solver,
Variable[] variables,
ResourceParameters rdata,
List<String> options)
- Specified by:
makeConstraint
in class AbstractResourceManager
Copyright © 2012. All Rights Reserved.