Fixpoint v0.13.2

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

Link to this section Summary

Callbacks

initialize(map)
partition(integer)
select_value(t)

Link to this section Callbacks

Link to this callback

initialize(map)

Specs

initialize(map()) :: :ok
Link to this callback

partition(integer)

Specs

partition(integer()) :: [function()]
Link to this callback

select_value(t)

Specs

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