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

Summary

Functions

get_minimals(variables)

initialize(data, opts)

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

select(variables, data \\ %{}, opts)

Callback implementation for CPSolver.Search.VariableSelector.select/3.

update(data, opts)

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