Fixpoint v0.13.2

CPSolver.Search (Fixpoint v0.13.2)

Link to this section Summary

Functions

branch(variables, arg, data \\ %{})
branch(variables, variable_choice, partition_strategy, data)
default_strategy()
initialize(search, space_data)

Link to this section Functions

Link to this function

branch(variables, arg, data \\ %{})

Link to this function

branch(variables, variable_choice, partition_strategy, data)

Link to this function

default_strategy()

Link to this function

initialize(search, space_data)