[ library(gfd) | Reference Manual | Alphabetic Index ]

max_regret_upb(?Var, ?Criterion)

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


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