CPSolver.Search.VariableSelector.Action (Fixpoint v0.9.7)
Action (activity-based) variable selector (https://www.gecode.org/doc-latest/MPG.pdf, p.8.5.3)
Summary
Functions
Callback implementation for CPSolver.Search.VariableSelector.initialize/1
.
Initialize Action data
Callback implementation for CPSolver.Search.VariableSelector.update/2
.
Compute actions of variables in one pass
Functions
Callback implementation for CPSolver.Search.VariableSelector.initialize/1
.
Initialize Action data
Callback implementation for CPSolver.Search.VariableSelector.update/2
.
Compute actions of variables in one pass