CPSolver.Search.VariableSelector.Action (Fixpoint v0.9.9)

Action (activity-based) variable selector (https://www.gecode.org/doc-latest/MPG.pdf, p.8.5.3)

Summary

Functions

initialize(data)

Callback implementation for CPSolver.Search.VariableSelector.initialize/1.

initialize(space_data, decay)

Initialize Action data

select(variables, data, action_mode)

update(data, opts)

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

update_actions(variables, shared)

variable_actions(variables, shared)

Compute actions of variables in one pass