Next: CLPFD Caveats, Previous: CLPFD Desiderata, Up: lib-clpfd [Contents][Index]
This chapter introduces a couple of new annotations, which appear to the right of the name of a constraint or predicate being introduced.
Denotes that the constraint being introduced is reifiable.
Denotes that the constraint or predicate being introduced can execute in two modes: with integer arguments or with real arguments, but not in mixed mode. By default, constraints and predicates can only execute in integer mode.