CPSolver.Search.Strategy behaviour (Fixpoint v0.1.0)
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
default_strategy()
Link to this function
failed_variables_in_search_exception()
Link to this function