[ library(fd) | Reference Manual | Alphabetic Index ]
fd_eval(?C)
Evaluate and state the constraint expression C.
- ?C
- An arithmetic constraint expression.
Description
   This predicate is used to enforce the evaluation of a given constraint
   expression on runtime, without macro expansion.  This can be useful in
   situation where the compile-time macro expansion cannot process its
   argument properly, because it has no type and mode information about the
   variable arguments.
Fail Conditions
   Fails C fails.
Resatisfiable
   No.
See Also
isd / 2