Uses of Class
minicp.search.SearchStatistics

Packages that use SearchStatistics

Package	Description
minicp.search	State Management
xcsp	XCSP3 format parser

Uses of SearchStatistics in minicp.search

Methods in minicp.search that return SearchStatistics

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.
SearchStatistics	DFSearch.solve() Effectively start a depth first search looking for every solution.
SearchStatistics	DFSearch.solve(Predicate<SearchStatistics> limit) Effectively start a depth first search with a given predicate called at each node to stop the search when it becomes true.
SearchStatistics	DFSearch.solveSubjectTo(Predicate<SearchStatistics> limit, Procedure subjectTo) Executes a closure prior to effectively starting a depth first search with a given predicate called at each node to stop the search when it becomes true.

Method parameters in minicp.search with type arguments of type SearchStatistics

Modifier and Type	Method and Description
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.
SearchStatistics	DFSearch.solve(Predicate<SearchStatistics> limit) Effectively start a depth first search with a given predicate called at each node to stop the search when it becomes true.
SearchStatistics	DFSearch.solveSubjectTo(Predicate<SearchStatistics> limit, Procedure subjectTo) Executes a closure prior to effectively starting a depth first search with a given predicate called at each node to stop the search when it becomes true.

Uses of SearchStatistics in xcsp

Methods in xcsp that return SearchStatistics

Modifier and Type	Method and Description
SearchStatistics	XCSP.solve(BiConsumer<String,Integer> onSolution, Function<SearchStatistics,Boolean> shouldStop)

Method parameters in xcsp with type arguments of type SearchStatistics

Modifier and Type	Method and Description
SearchStatistics	XCSP.solve(BiConsumer<String,Integer> onSolution, Function<SearchStatistics,Boolean> shouldStop)