CPSolver.Search.VariableSelector behaviour (Fixpoint v0.9.0)

Summary

Callbacks

select_variable(list)
select_variable(list, any)

Callbacks

Link to this callback

select_variable(list)

(optional) 
@callback select_variable([Variable.t()]) :: Variable.t() | nil
Link to this callback

select_variable(list, any)

(optional) 
@callback select_variable([Variable.t()], any()) :: Variable.t() | nil