[ 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