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)