
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 call 
   AFC (accumulated failure count) in Gecode, and is a count of the number of 
   failures so far of propagators associated with the variable, plus the 
   number of propagator attached to the variable (to give reasonable 
   starting values when there are not failures yet).  This is usually used 
   in selecting a variable for labelling.



Modes and Determinism
   get_weighted_degree(?, -) is det


