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

Summary

Callbacks

initialize(map)

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

select_variable(list)

(optional)
@callback select_variable([Variable.t()]) :: Variable.t() | nil

select_variable(list, any)

(optional)
@callback select_variable([Variable.t()], 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_impl, break_even_fun)