CPSolver.Search.Strategy behaviour (Fixpoint v0.3.2)

Summary

Callbacks

Link to this callback

partition(domain)

@callback partition(domain :: Enum.t()) ::
  {:ok, [Domain.t() | number()]} | {:error, any()}
Link to this callback

select_variable(list)

@callback select_variable([CPSolver.Variable.t()]) ::
  {:ok, CPSolver.Variable.t()} | {:error, any()}

Functions

Link to this function

all_vars_fixed_exception()

Link to this function

default_strategy()

Link to this function

failed_variables_in_search_exception()