CPSolver.Search.VariableSelector.AFC (Fixpoint v0.13.2)
Accumulated failure count variable selector (https://www.gecode.org/doc-latest/MPG.pdf, p.8.5.2)
Link to this section Summary
Functions
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
Link to this section Functions
Link to this function
get_afc_record(table, propagator_id)
Link to this function
get_afc_table(shared)
Link to this function
get_decay(shared)
Link to this function
initialize(space_data, opts)
Initialize AFC
Link to this function
propagator_afc(propagator_id, shared)
Link to this function
propagator_afc(afc_record, decay, global_failure_count, failure? \\ false)
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.
Link to this function
update(data, opts)
Callback implementation for CPSolver.Search.VariableSelector.update/2.
Link to this function
update_afc(propagator_id, shared, failure?, global_failure_count \\ nil)
Link to this function
variable_afc(variable_id, shared)
Compute AFC of variable based on the initial constraint graph.
Link to this function
variable_afcs(variables, shared)
Compute AFCs of variables in one pass