CPSolver.Search.VariableSelector behaviour (Fixpoint v0.9.0)
Summary
Callbacks
@callback select_variable([Variable.t()]) :: Variable.t() | nil
@callback select_variable([Variable.t()], any()) :: Variable.t() | nil
@callback select_variable([Variable.t()]) :: Variable.t() | nil
@callback select_variable([Variable.t()], any()) :: Variable.t() | nil