Fixpoint v0.20.2

CPSolver.Search (Fixpoint v0.20.2)

Link to this section Summary

Functions

branch(variables, branching, space_data \\ %{})
default_strategy()
initialize(search, space_data)
variable_value_choice(variables, variable_choice, partition_strategy, space_data)

Link to this section Functions

Link to this function

branch(variables, branching, space_data \\ %{})

Link to this function

default_strategy()

Link to this function

initialize(search, space_data)

Link to this function

variable_value_choice(variables, variable_choice, partition_strategy, space_data)