Fixpoint v0.20.2

CPSolver.Search.Partition (Fixpoint v0.20.2)

Link to this section Summary

Functions

fixed_value_partition(variable, value)
initialize(partition, space_data)
new(variable, reduction)
partition(variable, value_choice)
partition_by_fix(variable, value)
remove_multiple_values_partition(variable, values)
removed_value_partition(variable, value)

Link to this section Functions

Link to this function

fixed_value_partition(variable, value)

Link to this function

initialize(partition, space_data)

Link to this function

new(variable, reduction)

Link to this function

partition(variable, value_choice)

Link to this function

partition_by_fix(variable, value)

Link to this function

remove_multiple_values_partition(variable, values)

Link to this function

removed_value_partition(variable, value)