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

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

Summary

Functions

initialize(space_data, opts)

Initialize Action data

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

Functions

initialize(space_data, opts)

Initialize Action data

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