CPSolver.Search.Strategy (Fixpoint v0.9.5)

Summary

Functions

Link to this function

action(arg, break_even_fun \\ FirstFail)

Link to this function

afc(arg, break_even_fun \\ FirstFail)

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

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

initialize(search, space_data)

Link to this function

max_regret(break_even_fun \\ &Enum.random/1)

Link to this function

mixed(strategies)

Link to this function

most_completed(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, data, variable_choice)

Link to this function

variable_choice(strategy_impl, break_even_fun)