Java Reference
Java Reference
Detailed Description
A specialized constant linear expression.
Definition at line 17 of file sat/ConstantExpression.java.
Public Member Functions | |
| ConstantExpression (long offset) | |
| LinearExpr | build () |
| Builds a linear expression. More... | |
| int | numElements () |
| Returns the number of terms (excluding the constant one) in this expression. More... | |
| int | getVariableIndex (int index) |
| Returns the index of the ith variable. More... | |
| long | getCoefficient (int index) |
| Returns the ith coefficient. More... | |
| long | getOffset () |
| Returns the constant part of the expression. More... | |
| String | toString () |
Static Public Member Functions | |
| static LinearExprBuilder | newBuilder () |
| Returns a builder. More... | |
| static LinearExpr | constant (long value) |
| Shortcut for newBuilder().add(value).build() More... | |
| static LinearExpr | term (LinearArgument expr, long coeff) |
| Shortcut for newBuilder().addTerm(expr, coeff).build() More... | |
| static LinearExpr | affine (LinearArgument expr, long coeff, long offset) |
| Shortcut for newBuilder().addTerm(expr, coeff).add(offset).build() More... | |
| static LinearExpr | sum (LinearArgument[] exprs) |
| Shortcut for newBuilder().addSum(exprs).build() More... | |
| static LinearExpr | weightedSum (LinearArgument[] exprs, long[] coeffs) |
| Shortcut for newBuilder().addWeightedSum(exprs, coeffs).build() More... | |
| static LinearExpr | rebuildFromLinearExpressionProto (LinearExpressionProto proto) |
Constructor & Destructor Documentation
◆ ConstantExpression()
| ConstantExpression | ( | long | offset | ) |
Definition at line 20 of file sat/ConstantExpression.java.
Member Function Documentation
◆ affine()
|
staticinherited |
Shortcut for newBuilder().addTerm(expr, coeff).add(offset).build()
Definition at line 48 of file sat/LinearExpr.java.
◆ build()
| LinearExpr build | ( | ) |
Builds a linear expression.
Implements LinearArgument.
Definition at line 26 of file sat/ConstantExpression.java.
◆ constant()
|
staticinherited |
Shortcut for newBuilder().add(value).build()
Definition at line 38 of file sat/LinearExpr.java.
◆ getCoefficient()
| long getCoefficient | ( | int | index | ) |
Returns the ith coefficient.
Implements LinearExpr.
Definition at line 42 of file sat/ConstantExpression.java.
◆ getOffset()
| long getOffset | ( | ) |
Returns the constant part of the expression.
Implements LinearExpr.
Definition at line 47 of file sat/ConstantExpression.java.
◆ getVariableIndex()
| int getVariableIndex | ( | int | index | ) |
Returns the index of the ith variable.
Implements LinearExpr.
Definition at line 37 of file sat/ConstantExpression.java.
◆ newBuilder()
|
staticinherited |
Returns a builder.
Definition at line 33 of file sat/LinearExpr.java.
◆ numElements()
| int numElements | ( | ) |
Returns the number of terms (excluding the constant one) in this expression.
Implements LinearExpr.
Definition at line 32 of file sat/ConstantExpression.java.
◆ rebuildFromLinearExpressionProto()
|
staticinherited |
Definition at line 62 of file sat/LinearExpr.java.
◆ sum()
|
staticinherited |
Shortcut for newBuilder().addSum(exprs).build()
Definition at line 53 of file sat/LinearExpr.java.
◆ term()
|
staticinherited |
Shortcut for newBuilder().addTerm(expr, coeff).build()
Definition at line 43 of file sat/LinearExpr.java.
◆ toString()
| String toString | ( | ) |
Definition at line 52 of file sat/ConstantExpression.java.
◆ weightedSum()
|
staticinherited |
Shortcut for newBuilder().addWeightedSum(exprs, coeffs).build()
Definition at line 58 of file sat/LinearExpr.java.
The documentation for this class was generated from the following file: