The CLP Procedure
-
Overview
-
Getting Started
-
Syntax
-
Details
-
Examples
Logic-Based Puzzles Alphabet Blocks Problem Work-Shift Scheduling Problem A Nonlinear Optimization Problem Car Painting Problem Scene Allocation Problem Car Sequencing Problem Round-Robin Problem Resource-Constrained Scheduling with Nonstandard Temporal Constraints Scheduling with Alternate Resources 10×10 Job Shop Scheduling Problem Scheduling a Major Basketball Conference Statement and Option Cross-Reference Table
- References
| ALLDIFF Statement |
- ALLDIFF (variable_list-1) <...(variable_list-n)> ;
- ALLDIFFERENT (variable_list-1) <...(variable_list-n)> ;
The ALLDIFF statement can have multiple specifications. Each specification defines a unique global constraint on a set of variables, requiring all of them to be different from each other. A global constraint is equivalent to a conjunction of elementary constraints.
For example, the statements
var (X1-X3) A B; alldiff (X1-X3) (A B);
are equivalent to
 |
If the variable list is empty, the ALLDIFF constraint applies to all the variables declared in any VARIABLE statement.