CPSolver.Search.Strategy (Fixpoint v0.8.50)
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
break_even(strategy_impl, break_even_fun)
Link to this function
default_strategy()
Link to this function
dom_deg(break_even_fun \\ &Enum.random/1)
Link to this function
failed_variables_in_search_exception()
Link to this function
first_fail(break_even_fun \\ &Enum.random/1)
Link to this function
most_constrained(break_even_fun \\ &Enum.random/1)
Link to this function
partition(variable, value_choice)
Link to this function
select_variable(variables, variable_choice)
Link to this function