public final class SearchModule extends Object implements SolutionListener, ExplanationListener, StartStopListener
Modifier and Type | Field and Description |
---|---|
ActivityModule |
activity |
HeuristicAssertionModule |
assertionH |
Core |
core |
HeuristicRestartModule |
restartH |
Constructor and Description |
---|
SearchModule()
search implementation, without timeout (search until solution is found)
|
Modifier and Type | Method and Description |
---|---|
void |
initialize(Core core)
initializes the component with the given solver.
|
void |
onExplain(MapClause explanation)
called when the conflict clause is explained
|
void |
onSolution(boolean solution)
a handler called when a solution is found.
|
void |
onStart()
perform search on the given solver, without limit of time.
|
void |
onStop()
stops search
|
String |
toString() |
public Core core
public ActivityModule activity
public HeuristicAssertionModule assertionH
public HeuristicRestartModule restartH
public SearchModule()
public void onExplain(MapClause explanation)
ExplanationListener
onExplain
in interface ExplanationListener
explanation
- the explanation clausepublic void onSolution(boolean solution)
SolutionListener
onSolution
in interface SolutionListener
solution
- true when the solution is Satisfiable, false if
it is Unsatisfiable.public void onStart()
onStart
in interface StartStopListener
public void onStop()
onStop
in interface StartStopListener
public void initialize(Core core)
SolverComponent
initialize
in interface SolverComponent
core
- core component to initializeCopyright © 2022. All rights reserved.