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() |
void |
afterDownBranch(boolean left)
Action to perform after going down in the tree search
|
void |
afterInitialize() |
void |
afterOpenNode() |
void |
afterRestart() |
void |
afterUpBranch() |
void |
beforeClose() |
void |
beforeDownBranch(boolean left)
Action to perform before going down in the tree search
|
void |
beforeInitialize() |
void |
beforeOpenNode() |
void |
beforeRestart() |
void |
beforeUpBranch() |
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()
beforeInitialize
in interface IMonitorInitialize
public void afterInitialize()
afterInitialize
in interface IMonitorInitialize
public void beforeOpenNode()
beforeOpenNode
in interface IMonitorOpenNode
public void afterOpenNode()
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()
beforeUpBranch
in interface IMonitorUpBranch
public void afterUpBranch()
afterUpBranch
in interface IMonitorUpBranch
public void onContradiction(ContradictionException cex)
onContradiction
in interface IMonitorContradiction
public void beforeRestart()
beforeRestart
in interface IMonitorRestart
public void afterRestart()
afterRestart
in interface IMonitorRestart
public void beforeClose()
beforeClose
in interface IMonitorClose
public void afterClose()
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 © 2017. All rights reserved.