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

max_weighted_degree_per_value(?Var, ?Criterion)

Generic search compatible variable selection method, returns the domain size divided by weighted degree 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 (domain size)/(weighted degree). (rounded to the nearest integer)

This predicate obtain the weighted degree for the variable from Gecode.

See Also

gfd_search : delete / 5, gfd_search : search / 6