Uses of Class
org.maxicp.search.SearchStatistics
Packages that use SearchStatistics
Package
Description
Examples of models using the symbolic modeling API
Search API
-
Uses of SearchStatistics in org.maxicp.cp.examples.modeling
Methods in org.maxicp.cp.examples.modeling that return SearchStatisticsModifier and TypeMethodDescriptionstatic SearchStatisticsQAP.run(BiFunction<ModelDispatcher, IntExpression[], SearchMethod> lnsSearch, BiFunction<ModelDispatcher, IntExpression[], SearchMethod> optiSearch) -
Uses of SearchStatistics in org.maxicp.search
Fields in org.maxicp.search declared as SearchStatisticsModifier and TypeFieldDescriptionprotected SearchStatisticsAbstractConcurrentSearchMethod.statisticsFields in org.maxicp.search with type parameters of type SearchStatisticsModifier and TypeFieldDescriptionprotected List<Consumer<SearchStatistics>> AbstractSearchMethod.failureListenersprotected List<Consumer<SearchStatistics>> AbstractSearchMethod.solutionListenersMethods in org.maxicp.search that return SearchStatisticsModifier and TypeMethodDescriptionAbstractSearchMethod.optimize(Objective obj, Predicate<SearchStatistics> limit) Start the solving process with a given objective.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.DFSearch.optimize(Objective obj, DFSListener dfsListener) SearchMethod.optimize(Objective obj, Predicate<SearchStatistics> limit) Start the solving process with a given objective.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.AbstractSearchMethod.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable subjectTo) 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.DFSearch.optimizeSubjectTo(Objective objToTighten, DFSListener dfsListener, Predicate<SearchStatistics> limit, Runnable subjectTo) SearchMethod.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable subjectTo) 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.AbstractSearchMethod.replay(DFSLinearizer linearizer, CPVar[] variables) AbstractSearchMethod.replaySubjectTo(DFSLinearizer linearizer, CPVar[] variables, Runnable subjectTo) AbstractSearchMethod.replaySubjectTo(DFSLinearizer linearizer, CPVar[] variables, Runnable subjectTo, Runnable onNodeVisit) AbstractSearchMethod.replaySubjectTo(DFSLinearizer linearizer, CPVar[] variables, Runnable subjectTo, Objective obj) AbstractSearchMethod.solve()Start the solving processAbstractSearchMethod.solve(Predicate<SearchStatistics> limit) Start the solving process with a given predicate called at each node to stop the search when it becomes true.AbstractSearchMethod.solve(DFSListener listener) Start the solving process with a given listener of the search process.protected SearchStatisticsAbstractSearchMethod.solve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit) DFSearch.solve(DFSListener dfsListener) SearchMethod.solve()Start the solving processSearchMethod.solve(Predicate<SearchStatistics> limit) Start the solving process with a given predicate called at each node to stop the search when it becomes true.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.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 SearchStatisticsModifier and TypeMethodDescriptionprotected voidAbstractSearchMethod.notifyFailure(SearchStatistics stats) protected voidAbstractSearchMethod.notifySolution(SearchStatistics stats) protected SearchStatisticsAbstractSearchMethod.solve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit) protected voidAbstractConcurrentSearchMethod.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit) protected abstract voidAbstractSearchMethod.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit) Start the solving process.protected voidBestFirstSearch.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit) protected voidDFSearch.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit) Method parameters in org.maxicp.search with type arguments of type SearchStatisticsModifier and TypeMethodDescriptionvoidAbstractSearchMethod.onFailure(Consumer<SearchStatistics> listener) Adds a listener that is called whenever a failure occurs and the search backtracks.voidSearchMethod.onFailure(Consumer<SearchStatistics> listener) Adds a listener that is called whenever a failure occurs and the search backtracks.voidAbstractSearchMethod.onSolution(Consumer<SearchStatistics> listener) Adds a listener that is called on each solution.voidSearchMethod.onSolution(Consumer<SearchStatistics> listener) Adds a listener that is called on each solution.AbstractSearchMethod.optimize(Objective obj, Predicate<SearchStatistics> limit) 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.SearchMethod.optimize(Objective obj, Predicate<SearchStatistics> limit) 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.AbstractSearchMethod.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable subjectTo) 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.DFSearch.optimizeSubjectTo(Objective objToTighten, DFSListener dfsListener, Predicate<SearchStatistics> limit, Runnable subjectTo) SearchMethod.optimizeSubjectTo(Objective objToTighten, Predicate<SearchStatistics> limit, Runnable subjectTo) 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.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 SearchStatisticsAbstractSearchMethod.solve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit) 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.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.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 voidAbstractConcurrentSearchMethod.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit) protected abstract voidAbstractSearchMethod.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit) Start the solving process.protected voidBestFirstSearch.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit) protected voidDFSearch.startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit)