4.2.5.1. Additional Chuffed search annotations

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

assume

annotation assume(array [int] of var bool)

annotation for assumption handling.

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