CPSolver.Search.VariableSelector behaviour (Fixpoint v0.10.2)

Summary

Callbacks

initialize(map, any)
select(list, map, any)
update(map, t)

Functions

action(arg, break_even_fun \\ FirstFail)
afc(arg, break_even_fun \\ FirstFail)
all_vars_fixed_exception()
chb(chb_mode, break_even_fun \\ FirstFail)
dom_deg(break_even_fun \\ &Enum.random/1)
failed_variables_in_search_exception()
first_fail(break_even_fun \\ &Enum.random/1)
initialize(selector, space_data)
max_regret(break_even_fun \\ &Enum.random/1)
mixed(strategies)
most_completed(break_even_fun \\ &Enum.random/1)
most_constrained(break_even_fun \\ &Enum.random/1)
select_variable(variables, data, variable_choice)
strategy(chb_mode)
variable_choice(strategy_fun, break_even_fun \\ &Enum.random/1)

Callbacks

initialize(map, any)

@callback initialize(map(), any()) :: :ok

select(list, map, any)

@callback select([Variable.t()], map(), any()) :: Variable.t() | nil

update(map, t)

@callback update(map(), Keyword.t()) :: :ok

Functions

action(arg, break_even_fun \\ FirstFail)

afc(arg, break_even_fun \\ FirstFail)

all_vars_fixed_exception()

chb(chb_mode, break_even_fun \\ FirstFail)

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

failed_variables_in_search_exception()

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

initialize(selector, space_data)

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

mixed(strategies)

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

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

select_variable(variables, data, variable_choice)

strategy(chb_mode)

variable_choice(strategy_fun, break_even_fun \\ &Enum.random/1)