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)

Simple large neighbourhood search strategy: upon restart, for each variable in x, the probability of it being fixed to the previous solution is percentage (out of 100).
Simple large neighbourhood search strategy: upon restart, for each variable in x, the probability of it being fixed to the previous solution is percentage (out of 100). Start from an initial solution 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.