CPSolver.Search.Strategy (Fixpoint v0.8.49)
Summary
Functions
Link to this function
all_vars_fixed_exception()
Link to this function
branch(variables, arg)
Link to this function
branch(variables, arg, data)
Link to this function
branch(variables, variable_choice, partition_strategy, data \\ %{})
Link to this function
default_strategy()
Link to this function
failed_variables_in_search_exception()
Link to this function
first_fail(break_even_fun \\ &List.first/1)
Link to this function
most_constrained(break_even_fun \\ first_fail())
Link to this function
partition(variable, value_choice)
Link to this function
select_variable(variables, variable_choice)
Link to this function