Fixpoint v0.13.2

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

Link to this section 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)

Link to this section Callbacks

Link to this callback

initialize(map, any)

Specs

initialize(map(), any()) :: :ok
Link to this callback

select(list, map, any)

Specs

select([Variable.t()], map(), any()) :: Variable.t() | nil
Link to this callback

update(map, t)

Specs

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

Link to this section 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

chb(chb_mode, break_even_fun \\ FirstFail)

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(selector, 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

select_variable(variables, data, variable_choice)

Link to this function

strategy(chb_mode)

Link to this function

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