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

get_weighted_degree(?Var, -WD)

Returns the weighted degree of domain variable Var.
Var
A domain variable
WD
Current wighted degree for variable

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