Module org.maxicp

Package org.maxicp.search

Class DFSearch

java.lang.Object

org.maxicp.search.AbstractSearchMethod<Runnable>

org.maxicp.search.RunnableSearchMethod

org.maxicp.search.DFSearch

All Implemented Interfaces:

SearchMethod

public class DFSearch
extends RunnableSearchMethod

Depth-First Search Branch and Bound implementation

Nested Class Summary

Nested classes/interfaces inherited from class org.maxicp.search.AbstractSearchMethod

AbstractSearchMethod.IntRef

Field Summary

Fields inherited from class org.maxicp.search.AbstractSearchMethod

branching, failureListeners, sm, solutionListeners

Constructor Summary

Constructors

Constructor	Description
DFSearch(ModelProxy modelProxy, Supplier<Runnable[]> branching)
DFSearch(StateManager sm, Supplier<Runnable[]> branching)

Method Summary

Modifier and Type	Method	Description
SearchStatistics	optimize(Objective obj, DFSListener dfsListener)
SearchStatistics	optimizeSubjectTo(Objective objToTighten, DFSListener dfsListener, Predicate<SearchStatistics> limit, Runnable subjectTo)
void	setDFSListener(DFSListener listener)
SearchStatistics	solve(DFSListener dfsListener)	Start the solving process with a given listener of the search process.
protected void	startSolve(SearchStatistics statistics, Predicate<SearchStatistics> limit, Runnable onNodeVisit)	Start the solving process.

Methods inherited from class org.maxicp.search.AbstractSearchMethod

allFixed, notifyFailure, notifySolution, onFailure, onSolution, optimize, optimize, optimize, optimize, optimizeSubjectTo, optimizeSubjectTo, replay, replaySubjectTo, replaySubjectTo, replaySubjectTo, solve, solve, solve, solveSubjectTo

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.maxicp.search.SearchMethod

onFailure, onSolution

Constructor Details

DFSearch

public DFSearch(StateManager sm,
 Supplier<Runnable[]> branching)

DFSearch

public DFSearch(ModelProxy modelProxy,
 Supplier<Runnable[]> branching)

Method Details

setDFSListener

public void setDFSListener(DFSListener listener)

startSolve

protected void startSolve(SearchStatistics statistics,
 Predicate<SearchStatistics> limit,
 Runnable onNodeVisit)

Description copied from class: AbstractSearchMethod

Start the solving process.

This method must be implemented by subclasses and do the heavy work. It must call notifySolution/notifyFailure when a solution is found or a failure occurs.

Specified by:

startSolve in class AbstractSearchMethod<Runnable>

Parameters:

statistics -

limit -

onNodeVisit - a closure to execute at each node visit

solve

public SearchStatistics solve(DFSListener dfsListener)

Description copied from class: AbstractSearchMethod

Start the solving process with a given listener of the search process.

Overrides:

solve in class AbstractSearchMethod<Runnable>

Parameters:

dfsListener - a listener of the search process

Returns:

an object with the statistics on the search

optimize

public SearchStatistics optimize(Objective obj,
 DFSListener dfsListener)

optimizeSubjectTo

public SearchStatistics optimizeSubjectTo(Objective objToTighten,
 DFSListener dfsListener,
 Predicate<SearchStatistics> limit,
 Runnable subjectTo)