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