Module org.maxicp

Package org.maxicp.search

Class ConcurrentDFSearch

java.lang.Object

org.maxicp.search.AbstractSearchMethod<SymbolicModel>

org.maxicp.search.AbstractConcurrentSearchMethod

org.maxicp.search.ConcurrentDFSearch

All Implemented Interfaces:

SearchMethod

public class ConcurrentDFSearch
extends AbstractConcurrentSearchMethod

Nested Class Summary

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

AbstractSearchMethod.IntRef

Field Summary

Fields inherited from class org.maxicp.search.AbstractConcurrentSearchMethod

onNodeVisit, statistics

Fields inherited from class org.maxicp.search.AbstractSearchMethod

branching, failureListeners, sm, solutionListeners

Constructor Summary

Constructors

Constructor	Description
ConcurrentDFSearch(ModelProxy mp, Supplier<SymbolicModel[]> branching)

Method Summary

Modifier and Type	Method	Description
protected boolean	done()
protected SymbolicModel	extractModel()	Remove a model from the "list of open models" and returns it.
protected void	finishSolve()	Called when the current search is finished
protected void	initSolve()	Called when a new search is started
protected void	processNextStep()	process the next step of the search procedure.

Methods inherited from class org.maxicp.search.AbstractConcurrentSearchMethod

startSolve, steal, stop

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, 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

ConcurrentDFSearch

public ConcurrentDFSearch(ModelProxy mp,
 Supplier<SymbolicModel[]> branching)

Method Details

initSolve

protected void initSolve()

Description copied from class: AbstractConcurrentSearchMethod

Called when a new search is started

Specified by:

initSolve in class AbstractConcurrentSearchMethod

done

protected boolean done()

Specified by:

done in class AbstractConcurrentSearchMethod

Returns:

true if there are no more nodes to visit

processNextStep

protected void processNextStep()

Description copied from class: AbstractConcurrentSearchMethod

process the next step of the search procedure. done() must be false to call this function.

Specified by:

processNextStep in class AbstractConcurrentSearchMethod

finishSolve

protected void finishSolve()

Description copied from class: AbstractConcurrentSearchMethod

Called when the current search is finished

Specified by:

finishSolve in class AbstractConcurrentSearchMethod

extractModel

protected SymbolicModel extractModel()

Description copied from class: AbstractConcurrentSearchMethod

Remove a model from the "list of open models" and returns it. This function will be called on the same thread as startSolve if it's running, and is not needed to be thread-safe. The function is allowed to return null if and only if there is no Model left to visit.

Specified by:

extractModel in class AbstractConcurrentSearchMethod