[ 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
Var
Domain variable or integer
Criterion
Variable

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 (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