CPSolver.Search.VariableSelector.AFC (Fixpoint v0.21.0)

Accumulated failure count variable selector (https://www.gecode.org/doc-latest/MPG.pdf, p.8.5.2)

Link to this section Summary

Functions

get_afc_record(table, propagator_id)

get_afc_table(shared)

get_decay(shared)

initialize(space_data, opts)

Initialize AFC

propagator_afc(propagator_id, shared)

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

select(unfixed_variables, data, opts)

Callback implementation for CPSolver.Search.VariableSelector.select/3.

update(data, opts)

Callback implementation for CPSolver.Search.VariableSelector.update/2.

update_afc(propagator_id, shared, failure?, global_failure_count \\ nil)

variable_afc(variable_id, shared)

Compute AFC of variable based on the initial constraint graph.

variable_afcs(data, shared)

Compute AFCs of variables in one pass

Link to this section Functions

get_afc_record(table, propagator_id)

get_afc_table(shared)

get_decay(shared)

initialize(space_data, opts)

Initialize AFC

propagator_afc(propagator_id, shared)

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.

select(unfixed_variables, data, opts)

Callback implementation for CPSolver.Search.VariableSelector.select/3.

update(data, opts)

Callback implementation for CPSolver.Search.VariableSelector.update/2.

update_afc(propagator_id, shared, failure?, global_failure_count \\ nil)

variable_afc(variable_id, shared)

Compute AFC of variable based on the initial constraint graph.

variable_afcs(data, shared)

Compute AFCs of variables in one pass