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

Summary

Callbacks

Link to this callback

partition(domain)

@callback partition(domain :: Enum.t()) :: [Domain.t() | number()]
Link to this callback

select_variable(list)

@callback select_variable([CPSolver.Variable.t()]) :: CPSolver.Variable.t()

Functions

Link to this function

default_strategy()

Link to this function

failed_variables_in_search_exception()

Link to this function

no_variable_choice_exception()