
get_weighted_degree(?Var, -WD)

   Returns the weighted degree of domain variable Var.

Arguments
   Var                 A domain variable
   WD                  Current wighted degree for variable

Type
   library(gfd)

Description

   Returns the weighted degree for a domain variable. Weighted degree
   is the original name used in the literature for this measure, ans is 
   known as AFC (accumulated failure count) in Gecode, and is usually
   used as a criterion for selecting a variable for labelling.

   The weighted degree is a floating point, 
   due to Gecode's extension of the basic weighted degree measure: weighted
   degree for a variable is defined as the count of the failures so 
   far of the constraints (propagators) associated with the variable, plus
   an initial value that is proportional to the variable's degree (number 
   of associated constraints) -- to give reasonable initial values.
   In addition, the failure count for a constraint can decay if the 
   constraint was not involved in the failure. The rate of decay can be
   set by set_weighted_degree_decay/1 (the default is 1 -- no decay).



Modes and Determinism
   get_weighted_degree(?, -) is det

See Also
   set_weighted_degree_decay / 1
