CPSolver.Search.Strategy (Fixpoint v0.8.27)

Summary

Functions

Link to this function

all_vars_fixed_exception()

Link to this function

branch(variables, arg)

Link to this function

branch(variables, variable_choice, partition_strategy)

Link to this function

default_strategy()

Link to this function

failed_variables_in_search_exception()

Link to this function

partition(variable, value_choice)

Link to this function

select_variable(variables, variable_choice)