[ library(fd) | The ECLiPSe Libraries | 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