CPSolver.Search.Strategy behaviour (Fixpoint v0.1.1)
Summary
Callbacks
Link to this callback
partition(domain)
Link to this callback
select_variable(list)
@callback select_variable([CPSolver.Variable.t()]) :: CPSolver.Variable.t()
Functions
Link to this function
all_vars_fixed_exception()
Link to this function
default_strategy()
Link to this function