4.2.4.1. Additional Gecode search annotations

In this section: action_max, action_min, action_size_max, action_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.

action_max

annotation action_max

Select variable with largest action count

action_min

annotation action_min

Select variable with smallest action count

action_size_max

annotation action_size_max

Select variable with largest action count divided by domain size

action_size_min

annotation action_size_min

Select variable with smallest action 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.