Class | Description |
---|---|
PropAbsolute |
Enforces X = |Y|
|
PropDistanceXYC |
| X - Y | op C
op = {"==", "<", ">", "=/="} |
PropEqualX_Y |
X = Y
|
PropEqualX_YC |
X = Y + C
|
PropEqualXY_C |
X + Y = C
|
PropGreaterOrEqualX_Y |
X >= Y
|
PropGreaterOrEqualX_YC |
X >= Y + C
|
PropGreaterOrEqualXY_C |
X + Y >= C
|
PropLessOrEqualXY_C |
X + Y <= C
|
PropNotEqualX_Y |
A specific
Propagator extension defining filtering algorithm for:
X =/= Y where X and Y are Variable objects. |
PropNotEqualX_YC |
A specific
Propagator extension defining filtering algorithm for:
X =/= Y + C where X and Y are Variable objects and C a constant. |
PropNotEqualXY_C |
A specific
Propagator extension defining filtering algorithm for:
X + Y =/= C where X and Y are Variable objects and C a constant. |
PropScale |
Scale propagator : ensures x * y = z
With y a constant greater than one
Ensures AC
|
PropSquare |
Enforces X = Y^2
|
Copyright © 2018. All rights reserved.