[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
ic_constraints_number(?Var, ?N)
The number of IC constraints and suspended goals associated with the variable
Var is N.
- ?Var
- Prolog term
- ?N
- Variable or integer
Description
N is the number of IC 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 to a number, N is bound to
1.0Inf; otherwise if Var is not an IC variable, N is zero.
Fail Conditions
None.
Resatisfiable
No.
See Also
:: / 2