Package | Description |
---|---|
org.chocosolver.solver |
A package devoted to Model and resolution tools.
|
org.chocosolver.solver.search | |
org.chocosolver.solver.search.limits | |
org.chocosolver.solver.search.loop.monitors |
Modifier and Type | Field and Description |
---|---|
protected List<Criterion> |
Solver.criteria
List of stopping criteria.
|
Modifier and Type | Method and Description |
---|---|
void |
Solver.addStopCriterion(Criterion... criterion)
Adds a stop criterion, which, when met, stops the search loop.
|
void |
Solver.removeStopCriterion(Criterion... criterion)
Removes one or many stop criterion from the one to declare to the search loop.
|
Modifier and Type | Method and Description |
---|---|
default void |
IResolutionHelper.eachSolutionWithMeasure(BiConsumer<Solution,IMeasures> cons,
Criterion... stop)
|
default List<Solution> |
IResolutionHelper.findAllOptimalSolutions(IntVar objective,
boolean maximize,
Criterion... stop)
Attempt to find the solution that optimizes the mono-objective problem defined by
a unique objective variable and an optimization criteria, then finds and stores all optimal solution.
|
default List<Solution> |
IResolutionHelper.findAllSolutions(Criterion... stop)
Attempts to find all solutions of the declared satisfaction problem.
|
default Solution |
IResolutionHelper.findLexOptimalSolution(IntVar[] objectives,
boolean maximize,
Criterion... stop)
Attempts optimize the value of the objectives variable w.r.t.
|
default Solution |
IResolutionHelper.findOptimalSolution(IntVar objective,
boolean maximize,
Criterion... stop)
Attempt to find the solution that optimizes the mono-objective problem defined by a unique objective variable and
an optimization criteria.
|
default List<Solution> |
IResolutionHelper.findParetoFront(IntVar[] objectives,
boolean maximize,
Criterion... stop)
Attempts optimize the value of the objectives variable w.r.t.
|
default Solution |
IResolutionHelper.findSolution(Criterion... stop)
Attempts to find a solution of the declared satisfaction problem.
|
default Stream<Solution> |
IResolutionHelper.streamOptimalSolutions(IntVar objective,
boolean maximize,
Criterion... stop)
Attempt to find the solution that optimizes the mono-objective problem defined by a unique objective variable and
an optimization criteria, then finds and stores all optimal solution.
|
default Stream<Solution> |
IResolutionHelper.streamSolutions(Criterion... stop)
Attempts to find all solutions of the declared problem.
|
Modifier and Type | Interface and Description |
---|---|
interface |
ICounter
An interface to define count smth during search process
|
Modifier and Type | Class and Description |
---|---|
class |
ACounter
Overrides all but one services for ICounter and provides easy to implement counter based on
IMeasures . |
class |
BacktrackCounter
Set a limit over the number of backtracks allowed during the search.
|
class |
FailCounter
Set a limit over the number of fails allowed during the search.
|
static class |
ICounter.Impl |
class |
NodeCounter
Set a limit over the number of nodes opened allowed during the search.
|
class |
SolutionCounter
Set a limit over the number of found solutions allowed during the search.
|
class |
TimeCounter
A limit over run time.
|
Modifier and Type | Method and Description |
---|---|
default void |
ISearchMonitorFactory.limitSearch(Criterion aStopCriterion)
Limit the exploration of the search space with the help of a
aStopCriterion . |
Copyright © 2018. All rights reserved.