CPSolver.Search.Strategy behaviour (Fixpoint v0.5.7)
Summary
Callbacks
Link to this callback
partition(domain)
Link to this callback
select_variable(list)
@callback select_variable([CPSolver.Variable.t()]) :: {:ok, CPSolver.Variable.t()} | {:error, any()}
Functions
Link to this function
all_vars_fixed_exception()
Link to this function
default_strategy()
Link to this function