Class | Description |
---|---|
IntLinCombFactory |
A factory to reduce and detect specific cases related to integer linear combinations.
|
PropScalar |
A propagator for SUM(x_i*c_i) = b
Based on "Bounds Consistency Techniques for Long Linear Constraint" W. |
PropSum |
A propagator for SUM(x_i) o b
Based on "Bounds Consistency Techniques for Long Linear Constraint" W. |
PropSumBool |
A propagator for SUM(x_i) = y + b, where x_i are boolean variables
Based on "Bounds Consistency Techniques for Long Linear Constraint" W. |
PropSumBoolIncr |
A propagator for SUM(x_i) = y + b, where x_i are boolean variables, maintained incrementally.
|
PropSumFullBool |
A propagator for SUM(x_i) = y + b, where x_i are boolean variables
Based on "Bounds Consistency Techniques for Long Linear Constraint" W. |
PropSumFullBoolIncr |
A propagator for SUM(x_i) = y + b, where x_i are boolean variables, maintained incrementally.
|
SumConstraint |
Project: choco-solver.
|
Copyright © 2018. All rights reserved.