Interface | Description |
---|---|
IMonitorClose |
An interface to monitor close operation of the search loop
|
IMonitorContradiction |
An interface to monitor contradiction in search loop
|
IMonitorDownBranch |
An interface to monitor down branch actions in the search loop
|
IMonitorInitialize |
An interface to monitor the initialization action of the search loop
|
IMonitorInitPropagation |
An interface to monitor the initial propagation of the search loop
|
IMonitorInterruption |
An interface to monitor interruption of the search loop
|
IMonitorOpenNode |
An interface to monitor open node action in the search loop
|
IMonitorRestart |
An interface to monitor restart instruction in the search loop
|
IMonitorSolution |
An interface to monitor solution instruction in the search loop
|
IMonitorUpBranch |
An interface to monitor up branch actions in the search loop
|
ISearchMonitor |
|
Class | Description |
---|---|
FailPerPropagator |
|
NogoodFromRestarts |
A constraint for the specific Nogood store designed to store ONLY positive decisions.
|
NogoodFromSolutions |
Avoid exploring same solutions (useful with restart on solution)
Beware :
- Must be plugged as a monitor
- Only works for integer variables
This can be used to remove similar/symmetric solutions
|
RestartManager |
|
SearchMonitorFactory |
|
SearchMonitorList |
|
SMF |
A short-named version of
SearchMonitorFactory
|
Copyright © 2015. All rights reserved.