Uses of Class
org.maxicp.search.SearchStatistics

Packages that use SearchStatistics

Package	Description
org.maxicp	Root package of MaxiCP
org.maxicp.cp.examples.modeling	Examples of models using the symbolic modeling API
org.maxicp.search	Search API
org.maxicp.search.blackbox

Uses of SearchStatistics in org.maxicp

Methods in org.maxicp that return SearchStatistics

Modifier and Type	Method	Description
SearchStatistics	ModelDispatcher.optimize(Objective objective)	Instantiates the model and optimizes the given objective using black-box search.
SearchStatistics	ModelDispatcher.optimize(Objective objective, int timeLimitInSeconds)	Instantiates the model and optimizes the given objective using black-box search within the given time limit (in seconds).
SearchStatistics	ModelDispatcher.optimize(Objective objective, Predicate<SearchStatistics> limit)	Instantiates the model and optimizes the given objective using black-box search with a stopping predicate.
SearchStatistics	ModelDispatcher.solve()	Instantiates the model and solves it using black-box search.
SearchStatistics	ModelDispatcher.solve(int timeLimitInSeconds)	Instantiates the model and solves it using black-box search within the given time limit (in seconds).
SearchStatistics	ModelDispatcher.solve(Predicate<SearchStatistics> limit)	Instantiates the model and solves it using black-box search with a stopping predicate.

Method parameters in org.maxicp with type arguments of type SearchStatistics

Modifier and Type	Method	Description
SearchStatistics	ModelDispatcher.optimize(Objective objective, Predicate<SearchStatistics> limit)	Instantiates the model and optimizes the given objective using black-box search with a stopping predicate.
SearchStatistics	ModelDispatcher.solve(Predicate<SearchStatistics> limit)	Instantiates the model and solves it using black-box search with a stopping predicate.

Uses of SearchStatistics in org.maxicp.cp.examples.modeling

Methods in org.maxicp.cp.examples.modeling that return SearchStatistics

Modifier and Type	Method	Description
static SearchStatistics	QAP.run(BiFunction<ModelDispatcher,IntExpression[],SearchMethod> search)

Uses of SearchStatistics in org.maxicp.search

Fields in org.maxicp.search declared as SearchStatistics

Modifier and Type	Field	Description
protected SearchStatistics	AbstractConcurrentSearchMethod.statistics

Fields in org.maxicp.search with type parameters of type SearchStatistics

Modifier and Type	Field	Description
protected List<Consumer<SearchStatistics>>	AbstractSearchMethod.failureListeners
protected List<Consumer<SearchStatistics>>	AbstractSearchMethod.solutionListeners

Methods in org.maxicp.search that return SearchStatistics

Modifier and Type	Method	Description
SearchStatistics	AbstractSearchMethod.optimize(Objective obj)
SearchStatistics	AbstractSearchMethod.optimize(Objective obj, Predicate<SearchStatistics> limit)
SearchStatistics	AbstractSearchMethod.optimize(Objective obj)	Start the solving process with a given objective.
SearchStatistics	AbstractSearchMethod.optimize(Objective toTighten, Predicate<SearchStatistics> limit)	Start the solving process with a given objective and with a given predicate called at each node to stop the search when it becomes true.
SearchStatistics	DFSearch.optimize(Objective obj, DFSListener dfsListener)
SearchStatistics	SearchMethod.optimize(Objective obj)
SearchStatistics	SearchMethod.optimize(Objective obj, Predicate<SearchStatistics> limit)
SearchStatistics	SearchMethod.optimize(Objective obj)	Start the solving process with a given objective.
SearchStatistics	SearchMethod.optimize(Objective toTighten, Predicate<SearchStatistics> limit)	Start the solving process with a given objective and with a given predicate called at each node to stop the search when it becomes true.
SearchStatistics	AbstractSearchMethod.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable subjectTo)
SearchStatistics	AbstractSearchMethod.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable 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.
SearchStatistics	DFSearch.optimizeSubjectTo(Objective objToTighten, DFSListener dfsListener, Predicate<SearchStatistics> limit, Runnable subjectTo)
SearchStatistics	SearchMethod.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable subjectTo)
SearchStatistics	SearchMethod.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable 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.
SearchStatistics	AbstractSearchMethod.replay(DFSLinearizer linearizer, CPVar[] variables)
SearchStatistics	AbstractSearchMethod.replaySubjectTo(DFSLinearizer linearizer, CPVar[] variables, Runnable subjectTo)
SearchStatistics	AbstractSearchMethod.replaySubjectTo(DFSLinearizer linearizer, CPVar[] variables, Runnable subjectTo, Runnable onNodeVisit)
SearchStatistics	AbstractSearchMethod.replaySubjectTo(DFSLinearizer linearizer, CPVar[] variables, Runnable subjectTo, Objective obj)
SearchStatistics	AbstractSearchMethod.solve()	Start the solving process
SearchStatistics	AbstractSearchMethod.solve(Predicate<SearchStatistics> limit)	Start the solving process with a given predicate called at each node to stop the search when it becomes true.
SearchStatistics	AbstractSearchMethod.solve(DFSListener listener)	Start the solving process with a given listener of the search process.
protected SearchStatistics	AbstractSearchMethod.solve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit)
SearchStatistics	DFSearch.solve(DFSListener dfsListener)
SearchStatistics	SearchMethod.solve()	Start the solving process
SearchStatistics	SearchMethod.solve(Predicate<SearchStatistics> limit)	Start the solving process with a given predicate called at each node to stop the search when it becomes true.
SearchStatistics	AbstractSearchMethod.solveSubjectTo(Predicate<SearchStatistics> limit, Runnable subjectTo)	Start the solving process with a given predicate called at each node to stop the search when it becomes true.
SearchStatistics	SearchMethod.solveSubjectTo(Predicate<SearchStatistics> limit, Runnable subjectTo)	Start the solving process with a given predicate called at each node to stop the search when it becomes true.

Methods in org.maxicp.search with parameters of type SearchStatistics

Modifier and Type	Method	Description
protected void	AbstractSearchMethod.notifyFailure(SearchStatistics stats)
protected void	AbstractSearchMethod.notifySolution(SearchStatistics stats)
protected SearchStatistics	AbstractSearchMethod.solve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit)
protected void	AbstractConcurrentSearchMethod.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit)
protected abstract void	AbstractSearchMethod.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit)	Start the solving process.
protected void	BestFirstSearch.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit)
protected void	DFSearch.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit)

Method parameters in org.maxicp.search with type arguments of type SearchStatistics

Modifier and Type	Method	Description
void	AbstractSearchMethod.onFailure(Consumer<SearchStatistics> listener)	Adds a listener that is called whenever a failure occurs and the search backtracks.
void	SearchMethod.onFailure(Consumer<SearchStatistics> listener)	Adds a listener that is called whenever a failure occurs and the search backtracks.
void	AbstractSearchMethod.onSolution(Consumer<SearchStatistics> listener)	Adds a listener that is called on each solution.
void	SearchMethod.onSolution(Consumer<SearchStatistics> listener)	Adds a listener that is called on each solution.
SearchStatistics	AbstractSearchMethod.optimize(Objective obj, Predicate<SearchStatistics> limit)
SearchStatistics	AbstractSearchMethod.optimize(Objective toTighten, Predicate<SearchStatistics> limit)	Start the solving process with a given objective and with a given predicate called at each node to stop the search when it becomes true.
SearchStatistics	SearchMethod.optimize(Objective obj, Predicate<SearchStatistics> limit)
SearchStatistics	SearchMethod.optimize(Objective toTighten, Predicate<SearchStatistics> limit)	Start the solving process with a given objective and with a given predicate called at each node to stop the search when it becomes true.
SearchStatistics	AbstractSearchMethod.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable subjectTo)
SearchStatistics	AbstractSearchMethod.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable 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.
SearchStatistics	DFSearch.optimizeSubjectTo(Objective objToTighten, DFSListener dfsListener, Predicate<SearchStatistics> limit, Runnable subjectTo)
SearchStatistics	SearchMethod.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable subjectTo)
SearchStatistics	SearchMethod.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable 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.
SearchStatistics	AbstractSearchMethod.solve(Predicate<SearchStatistics> limit)	Start the solving process with a given predicate called at each node to stop the search when it becomes true.
protected SearchStatistics	AbstractSearchMethod.solve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit)
SearchStatistics	SearchMethod.solve(Predicate<SearchStatistics> limit)	Start the solving process with a given predicate called at each node to stop the search when it becomes true.
SearchStatistics	AbstractSearchMethod.solveSubjectTo(Predicate<SearchStatistics> limit, Runnable subjectTo)	Start the solving process with a given predicate called at each node to stop the search when it becomes true.
SearchStatistics	SearchMethod.solveSubjectTo(Predicate<SearchStatistics> limit, Runnable subjectTo)	Start the solving process with a given predicate called at each node to stop the search when it becomes true.
protected void	AbstractConcurrentSearchMethod.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit)
protected abstract void	AbstractSearchMethod.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit)	Start the solving process.
protected void	BestFirstSearch.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit)
protected void	DFSearch.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit)

Uses of SearchStatistics in org.maxicp.search.blackbox

Methods in org.maxicp.search.blackbox that return SearchStatistics

Modifier and Type	Method	Description
SearchStatistics	BlackBoxSearch.optimize(Objective obj)
SearchStatistics	BlackBoxSearch.optimize(Objective obj, int timeLimitInSeconds)	Optimizes the given objective under a wall-clock timeout in seconds.
SearchStatistics	BlackBoxSearch.optimize(Objective obj, Predicate<SearchStatistics> limit)
SearchStatistics	BlackBoxSearch.optimize(Objective obj)
SearchStatistics	BlackBoxSearch.optimize(Objective obj, int timeLimitInSeconds)	Optimizes the given low-level objective within the specified time limit (in seconds).
SearchStatistics	BlackBoxSearch.optimize(Objective toTighten, Predicate<SearchStatistics> limit)
SearchStatistics	BlackBoxSearch.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable subjectTo)
SearchStatistics	BlackBoxSearch.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable subjectTo)
SearchStatistics	BlackBoxSearch.solve()
SearchStatistics	BlackBoxSearch.solve(int timeLimitInSeconds)	Solves the feasibility model under a wall-clock timeout in seconds.
SearchStatistics	BlackBoxSearch.solve(Predicate<SearchStatistics> limit)
SearchStatistics	BlackBoxSearch.solveSubjectTo(Predicate<SearchStatistics> limit, Runnable subjectTo)

Method parameters in org.maxicp.search.blackbox with type arguments of type SearchStatistics

Modifier and Type	Method	Description
void	BlackBoxSearch.onFailure(Consumer<SearchStatistics> listener)
void	BlackBoxSearch.onSolution(Consumer<SearchStatistics> listener)
SearchStatistics	BlackBoxSearch.optimize(Objective obj, Predicate<SearchStatistics> limit)
SearchStatistics	BlackBoxSearch.optimize(Objective toTighten, Predicate<SearchStatistics> limit)
SearchStatistics	BlackBoxSearch.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable subjectTo)
SearchStatistics	BlackBoxSearch.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable subjectTo)
SearchStatistics	BlackBoxSearch.solve(Predicate<SearchStatistics> limit)
SearchStatistics	BlackBoxSearch.solveSubjectTo(Predicate<SearchStatistics> limit, Runnable subjectTo)