| Class | Description |
|---|---|
| Member |
|
| NotMember |
|
| PropEqualXC |
Unary propagator ensuring:
X = C, where X is a variable and C is a constant |
| PropGreaterOrEqualXC |
X >= C
|
| PropLessOrEqualXC |
X <= C
|
| PropMemberBound |
|
| PropMemberEnum |
|
| PropNotEqualXC |
A propagator ensuring that:
X =/= C, where X is a variable and C a constant
|
| PropNotMemberBound |
|
| PropNotMemberEnum |
|
Copyright © 2015. All rights reserved.