
max_regret_upb(?Var, ?Criterion)

   Generic search compatible variable selection method, returns the upper-bound regret value for Var

Arguments
   Var                 Domain variable or integer
   Criterion           Variable

Type
   library(gfd)

Description

This predicate is designed to be used as a variable selection method
with generic search (lib(gfd_search)), and should be used with 
gfd_search's delete/5 and search/6. The effect is to select the first
variable with the maximum regret on the upper bound (the largest
difference between the largest and second largest value in the domain).

This predicate obtain the regret value from Gecode.


See Also
   gfd_search : delete / 5, gfd_search : search / 6
