[ 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