Package | Description |
---|---|
org.chocosolver.solver.constraints.nary.sum |
Modifier and Type | Class and Description |
---|---|
class |
PropScalar
A propagator for SUM(x_i*c_i) = b
Based on "Bounds Consistency Techniques for Long Linear Constraint" W. |
class |
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. |
class |
PropSumBoolIncr
A propagator for SUM(x_i) = y + b, where x_i are boolean variables, maintained incrementally.
|
class |
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. |
class |
PropSumFullBoolIncr
A propagator for SUM(x_i) = y + b, where x_i are boolean variables, maintained incrementally.
|
Modifier and Type | Method and Description |
---|---|
protected PropSum |
PropSum.opposite() |
protected PropSum |
PropSumBool.opposite() |
protected PropSum |
PropSumFullBoolIncr.opposite() |
protected PropSum |
PropSumFullBool.opposite() |
protected PropSum |
PropScalar.opposite() |
protected PropSum |
PropSumBoolIncr.opposite() |
Copyright © 2018. All rights reserved.