public final class SearchMonitorList extends Object implements IMonitorClose, IMonitorContradiction, IMonitorDownBranch, IMonitorInitialize, IMonitorOpenNode, IMonitorRestart, IMonitorSolution, IMonitorUpBranch
Constructor and Description |
---|
SearchMonitorList() |
Modifier and Type | Method and Description |
---|---|
void |
add(ISearchMonitor sm)
Adds a search monitor to this list
|
void |
afterClose()
Actions to execute after closing the search
|
void |
afterDownBranch(boolean left)
Action to perform after going down in the tree search
|
void |
afterInitialize()
Actions to execute after initialisation of the solver
|
void |
afterInitialize(boolean correct)
Actions to execute after initialisation of the solver
|
void |
afterOpenNode()
Actions to execute after opening a node
|
void |
afterRestart()
Actions to execute after restarting the search
|
void |
afterUpBranch()
Actions to execute after going up in the tree search
|
void |
beforeClose()
Actions to execute before closing the search
|
void |
beforeDownBranch(boolean left)
Action to perform before going down in the tree search
|
void |
beforeInitialize()
Actions to execute before initialisation of the solver
|
void |
beforeOpenNode()
Actions to execute before opening a node
|
void |
beforeRestart()
Actions to execute before restarting the search
|
void |
beforeUpBranch()
Actions to execute before going up in the tree search
|
boolean |
contains(ISearchMonitor sm)
Checks if this list contains a search monitor.
|
void |
onContradiction(ContradictionException cex) |
void |
onSolution() |
void |
remove(ISearchMonitor sm)
Removes a search monitor for this list.
|
void |
reset()
Clears all internal lists of search monitors.
|
public void beforeInitialize()
IMonitorInitialize
beforeInitialize
in interface IMonitorInitialize
public void afterInitialize()
IMonitorInitialize
afterInitialize
in interface IMonitorInitialize
IMonitorInitialize.afterInitialize(boolean)
public void afterInitialize(boolean correct)
IMonitorInitialize
afterInitialize
in interface IMonitorInitialize
correct
- equals false if initialization failed, true otherwise.public void beforeOpenNode()
IMonitorOpenNode
beforeOpenNode
in interface IMonitorOpenNode
public void afterOpenNode()
IMonitorOpenNode
afterOpenNode
in interface IMonitorOpenNode
public void onSolution()
onSolution
in interface IMonitorSolution
public void beforeDownBranch(boolean left)
IMonitorDownBranch
beforeDownBranch
in interface IMonitorDownBranch
left
- set to true to specify that this is a left branchpublic void afterDownBranch(boolean left)
IMonitorDownBranch
afterDownBranch
in interface IMonitorDownBranch
left
- set to true to specify that this is a left branchpublic void beforeUpBranch()
IMonitorUpBranch
beforeUpBranch
in interface IMonitorUpBranch
public void afterUpBranch()
IMonitorUpBranch
afterUpBranch
in interface IMonitorUpBranch
public void onContradiction(ContradictionException cex)
onContradiction
in interface IMonitorContradiction
public void beforeRestart()
IMonitorRestart
beforeRestart
in interface IMonitorRestart
public void afterRestart()
IMonitorRestart
afterRestart
in interface IMonitorRestart
public void beforeClose()
IMonitorClose
beforeClose
in interface IMonitorClose
public void afterClose()
IMonitorClose
afterClose
in interface IMonitorClose
public void add(ISearchMonitor sm)
sm
- a search monitorpublic boolean contains(ISearchMonitor sm)
sm
- a search monitorsm
, false otherwise.public void remove(ISearchMonitor sm)
sm
- a search monitor.public void reset()
Copyright © 2018. All rights reserved.