CPSolver.Search.VariableSelector.AFC (Fixpoint v0.9.4)
Accumulated failure count varaible selector (https://www.gecode.org/doc-latest/MPG.pdf, p.8.5.2)
Summary
Functions
Initialize AFC
Compute AFC based on last AFC value, decay and current global failure count. This is (to be) used
Compute AFC of variable based on the initial constraint graph.
Compute AFCs of variables in one pass
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, decay)
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
select(variables, data, afc_mode)
Link to this function
update_afc(propagator_id, shared, failure?)
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