Class | Description |
---|---|
PropBoolSumCoarse |
Constraint that state that the sum of boolean variables vars is equal to the integer variable sum
|
PropBoolSumIncremental |
Constraint that state that the sum of boolean variables vars is equal to the integer variable sum
Works incrementally in O(1) per instantiation event
|
PropScalarEq |
A propagator for SUM(x_i) = b
Based on "Bounds Consistency Techniques for Long Linear Constraint" W. |
PropSumEq |
A propagator for SUM(x_i) = y
|
Scalar |
Bounds Consistency Techniques for Long Linear Constraint" W. |
ScalarFactory |
A factory dedicated to scalar products analyses and reductions.
|
Copyright © 2015. All rights reserved.