4.2.5.1. Additional Chuffed search annotations¶

In this section: largest_smallest, priority_search, random_order, smallest_largest.

largest_smallest¶

annotation largest_smallest

Choose the variable with the largest smallest value in its domain

priority_search¶

annotation priority_search(array [int] of var int: x,
                           array [int] of ann: search,
                           ann: select,
                           ann: explore)

Specify search on a group of searches search, for which variables x act as delegates for the search selection with variable selection strategy select, and exploration strategy explore.

random_order¶

annotation random_order

Choose a random variable

smallest_largest¶

annotation smallest_largest

Choose the variable with the smallest largest value in its domain