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

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