CPSolver.Search.ValueSelector behaviour (Fixpoint v0.10.2)

Summary

Callbacks

initialize(map)

@callback initialize(map()) :: :ok

partition(integer)

@callback partition(integer()) :: [function()]

select_value(t)

@callback select_value(Variable.t()) :: integer()