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

Summary

Functions

initialize(data, opts)

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

most_completed_propagators_selection(constraint_graph)

update(data, opts)

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

Functions

initialize(data, opts)

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

most_completed_propagators_selection(constraint_graph)

update(data, opts)

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