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 |