Package | Description |
---|---|
minicp.engine.core |
Solver objects
|
minicp.search |
State Management
|
Modifier and Type | Class and Description |
---|---|
class |
Minimize
Minimization objective function
|
Modifier and Type | Method and Description |
---|---|
Objective |
MiniCP.maximize(IntVar x) |
Objective |
Solver.maximize(IntVar x)
Creates a maximization objective on the given variable.
|
Objective |
MiniCP.minimize(IntVar x) |
Objective |
Solver.minimize(IntVar x)
Creates a minimization objective on the given variable.
|
Modifier and Type | Method and Description |
---|---|
SearchStatistics |
DFSearch.optimize(Objective obj)
Effectively start a branch and bound
depth first search with a given objective.
|
SearchStatistics |
DFSearch.optimize(Objective obj,
Predicate<SearchStatistics> limit)
Effectively start a branch and bound
depth first search with a given objective
and with a given predicate called at each node
to stop the search when it becomes true.
|
SearchStatistics |
DFSearch.optimizeSubjectTo(Objective obj,
Predicate<SearchStatistics> limit,
Procedure subjectTo)
Executes a closure prior to effectively
starting a branch and bound depth first search
with a given objective to optimize
and a given predicate called at each node
to stop the search when it becomes true.
|
Copyright © 2018 Laurent Michel, Pierre Schaus, Pascal Van Hentenryck. All rights reserved.