Uses of Class
org.chocosolver.solver.constraints.nary.sum.PropSum
-
Packages that use PropSum Package Description org.chocosolver.solver.constraints.nary.sum -
-
Uses of PropSum in org.chocosolver.solver.constraints.nary.sum
Subclasses of PropSum in org.chocosolver.solver.constraints.nary.sum Modifier and Type Class 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.Methods in org.chocosolver.solver.constraints.nary.sum that return PropSum Modifier and Type Method Description protected PropSum
PropScalar. opposite()
protected PropSum
PropSum. opposite()
protected PropSum
PropSumBool. opposite()
protected PropSum
PropSumBoolIncr. opposite()
protected PropSum
PropSumFullBool. opposite()
protected PropSum
PropSumFullBoolIncr. opposite()
-