
max_weighted_degree_per_value(?Var, ?Criterion)

   Generic search compatible variable selection method, returns the domain size divided by weighted degree 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 (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
