[ library(fd) | Reference Manual | Alphabetic Index ]
constraints_number(?Var, ?N)
The number of constraints and suspended goals associated with the variable
Var is N.
- ?Var
- Prolog term
- ?N
- Variable or integer
Description
   N is the number of constraints and suspended goals currently attached to
   the variable Var.  Note that this number may not correspond to the exact
   number of different constraints attached to Var, as goals in different
   suspending lists are counted separately.  This predicate is often used
   when looking for the most or least constrained variable from a set of
   domain variables.  If Var is instantiated, N is bound to a very large
   integer, if Var is a free variable, N is zero.
Fail Conditions
   None.
Resatisfiable
   No.
See Also
:: / 2, #:: / 2, deleteff / 3, deleteffc / 3