[ 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