CPSolver.Search.Strategy (Fixpoint v0.8.30)
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)
Link to this function