CPSolver.Search.VariableSelector.Action (Fixpoint v0.13.2)
Action (activity-based) variable selector (https://www.gecode.org/doc-latest/MPG.pdf, p.8.5.3)
Link to this section Summary
Functions
Initialize Action data
Callback implementation for CPSolver.Search.VariableSelector.update/2.
Compute actions of variables in one pass
Link to this section Functions
Link to this function
initialize(space_data, opts)
Initialize Action data
Link to this function
update(data, opts)
Callback implementation for CPSolver.Search.VariableSelector.update/2.
Link to this function
update_actions(variables, shared)
Link to this function
variable_actions(variables, shared)
Compute actions of variables in one pass