Fixpoint v0.21.0

CPSolver.Search (Fixpoint v0.21.0)

Link to this section Summary

Functions

branch(branching, space_data)
default_strategy()
initialize(search, space_data)
variable_value_choice(variable_choice, partition_strategy, space_data)

Link to this section Functions

Link to this function

branch(branching, space_data)

Link to this function

default_strategy()

Link to this function

initialize(search, space_data)

Link to this function

variable_value_choice(variable_choice, partition_strategy, space_data)