| Addition(Sca, VarD0) | Adds a variable and a scalar and returns the resulting linear expression. |
| Addition(VarD0, Sca) | Adds a variable and a scalar and returns the resulting linear expression. |
| Addition(VarD0, VarD0) | Adds two variables and returns the resulting linear expression. |