Previous Up Next

2.2  Common constraints

The constraints can be divided into the following groups:

Table 2.1: Supported constraints for various arithmetic solvers

Not all constraints are supported by all the solvers. For example, the eplex solver does not support any strict inequality constraints. Table 2.1 shows the constraints that are available from the various constraint solvers. In the table, a ‘yes’ entry indicates that the particular constraint is supported by the particular solver. Note that some further restrictions may apply for a particular solver. For example, the eplex solver can only handle linear expressions. Refer to the documentation for each individual solver to see what restrictions might apply.

Note that the ‘standard arithmetic’ operators =:=/2, =\=/2, >=/2, =</2, >/2 and </2 which are automatically imported from the eclipse_language module are declaratively the same as the corresponding ’$’ constraints. On the other hand, they are not interchangeable because they can only be used as tests (when all variables are instantiated), not as active constraints.

Previous Up Next