CPSolver.Search.VariableSelector.AFC (Fixpoint v0.9.8)
Accumulated failure count variable selector (https://www.gecode.org/doc-latest/MPG.pdf, p.8.5.2)
Summary
Functions
Callback implementation for CPSolver.Search.VariableSelector.initialize/1
.
Initialize AFC
Compute AFC based on last AFC value, decay and current global failure count. This is (to be) used
Callback implementation for CPSolver.Search.VariableSelector.update/2
.
Compute AFC of variable based on the initial constraint graph.
Compute AFCs of variables in one pass
Functions
Callback implementation for CPSolver.Search.VariableSelector.initialize/1
.
Initialize AFC
Compute AFC based on last AFC value, decay and current global failure count. This is (to be) used:
- for computing variable AFC;
- for updating AFC of a failed propagator;
- for updating AFCs of all propagators in case decay value has been dynamically changed.
Callback implementation for CPSolver.Search.VariableSelector.update/2
.
Compute AFC of variable based on the initial constraint graph.
Compute AFCs of variables in one pass