Fixpoint
v0.9.7
Pages
Modules
Search documentation of Fixpoint
Settings
CPSolver.Search.ValueSelector
behaviour
(Fixpoint v0.9.7)
Summary
Callbacks
initialize(map)
select_value(t)
Callbacks
initialize(map)
@callback
initialize(
map
()) :: :ok
select_value(t)
@callback
select_value(Variable.t()) ::
integer
()