
fd_eval(?C)

   Evaluate and state the constraint expression C.



Arguments
   ?C                  An arithmetic constraint expression.

Type
   library(fd)

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
