| 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.