examples.Distinct< IV extends IntView > Class Reference
List of all members.Detailed Description
This class implements a value-consistent propagator for the distinct-constraint.
Definition at line 74 of file QueensJavaPropagator.java.
Public Member Functions | |
| Distinct (Space s, ViewArray< IV > iv0) | |
| Distinct (Space s, Boolean share, Distinct< IV > p) | |
| PropCost | cost () |
| ExecStatus | propagate (Space home) |
Static Package Functions | |
| static void | post (Space home, VarArray< IntVar > x) |
| Post a simple distinct-constraint. | |
| static void | post (Space home, int[] off, VarArray< IntVar > x) |
| Post a distinct-constraint with offsets for the variables. | |
Constructor & Destructor Documentation
Definition at line 77 of file QueensJavaPropagator.java.
Definition at line 81 of file QueensJavaPropagator.java.
Member Function Documentation
Definition at line 86 of file QueensJavaPropagator.java.
| ExecStatus examples.Distinct< IV extends IntView >.propagate | ( | Space | home | ) |
Definition at line 89 of file QueensJavaPropagator.java.
| static void examples.Distinct< IV extends IntView >.post | ( | Space | home, | |
| int[] | off, | |||
| VarArray< IntVar > | x | |||
| ) | [static, package] |
Post a distinct-constraint with offsets for the variables.
Definition at line 120 of file QueensJavaPropagator.java.
The documentation for this class was generated from the following file: