Package | Description |
---|---|
org.chocosolver.solver |
A package devoted to Model and resolution tools.
|
org.chocosolver.solver.objective |
Modifier and Type | Method and Description |
---|---|
<V extends Variable> |
Solver.getObjectiveManager() |
Modifier and Type | Method and Description |
---|---|
void |
Solver.setObjectiveManager(IObjectiveManager om)
Declares an objective manager to use.
|
Modifier and Type | Method and Description |
---|---|
static IObjectiveManager<IntVar> |
ObjectiveFactory.makeObjectiveManager(IntVar objective,
ResolutionPolicy policy)
Define the variable to optimize (maximize or minimize)
By default, the manager uses
setStrictDynamicCut() to avoid exploring worse solutions. |
static IObjectiveManager<RealVar> |
ObjectiveFactory.makeObjectiveManager(RealVar objective,
ResolutionPolicy policy,
double precision)
Define the variable to optimize (maximize or minimize)
By default, the manager uses
setStrictDynamicCut() to avoid exploring worse solutions. |
static IObjectiveManager<Variable> |
ObjectiveFactory.SAT()
Define a manager for satisfaction problems.
|
Copyright © 2017. All rights reserved.