4.2.4.1. Additional Gecode search annotations
In this section: activity_max, activity_min, activity_size_max, activity_size_min, afc_max, afc_min, afc_size_max, afc_size_min, bool_default_search, float_default_search, int_default_search, random, relax_and_reconstruct, set_default_search.
activity_max
annotation activity_max
|
Select variable with largest activity count |
activity_min
annotation activity_min
|
Select variable with smallest activity count |
activity_size_max
annotation activity_size_max
|
Select variable with largest activity count divided by domain size |
activity_size_min
annotation activity_size_min
|
Select variable with smallest activity count divided by domain size |
afc_max
annotation afc_max
|
Select variable with largest accumulated failure count |
afc_min
annotation afc_min
|
Select variable with smallest accumulated failure count |
afc_size_max
annotation afc_size_max
|
Select variable with largest accumulated failure count divided by domain size |
afc_size_min
annotation afc_size_min
|
Select variable with smallest accumulated failure count divided by domain size |
bool_default_search
annotation bool_default_search(ann: varsel, ann: valsel)
|
Specify default search strategy for Boolean variables to use variable selection strategy varsel, and value choice strategy valsel. |
float_default_search
annotation float_default_search(ann: varsel, ann: valsel)
|
Specify default search strategy for float variables to use variable selection strategy varsel, and value choice strategy valsel. |
int_default_search
annotation int_default_search(ann: varsel, ann: valsel)
|
Specify default search strategy for integer variables to use variable selection strategy varsel, and value choice strategy valsel. |
random
annotation random
|
Select random variable |
relax_and_reconstruct
1. annotation relax_and_reconstruct(array [int] of var int: x,
int: percentage)
2. annotation relax_and_reconstruct(array [int] of var int: x,
int: percentage,
array [int] of int: y)
|
|
set_default_search
annotation set_default_search(ann: varsel, ann: valsel)
|
Specify default search strategy for set variables to use variable selection strategy varsel, and value choice strategy valsel. |