Java Reference
Java Reference
sat/ConstantExpression.java
Go to the documentation of this file.
A specialized constant linear expression.
Definition: sat/ConstantExpression.java:17
ConstantExpression(long offset)
Definition: sat/ConstantExpression.java:20
long getCoefficient(int index)
Returns the ith coefficient.
Definition: sat/ConstantExpression.java:42
int numElements()
Returns the number of terms (excluding the constant one) in this expression.
Definition: sat/ConstantExpression.java:32
long getOffset()
Returns the constant part of the expression.
Definition: sat/ConstantExpression.java:47
String toString()
Definition: sat/ConstantExpression.java:52
int getVariableIndex(int index)
Returns the index of the ith variable.
Definition: sat/ConstantExpression.java:37
A linear expression (sum (ai * xi) + b).
Definition: sat/LinearExpr.java:19