14package com.google.ortools.sat;
17final class Difference
implements LinearExpr {
18 private final LinearExpr left;
19 private final LinearExpr right;
21 public Difference(LinearExpr left, LinearExpr right) {
27 public int numElements() {
28 return left.numElements() + right.numElements();
32 public IntVar getVariable(
int index) {
33 if (index < left.numElements()) {
34 return left.getVariable(index);
36 return right.getVariable(index - left.numElements());
41 public long getCoefficient(
int index) {
42 if (index < left.numElements()) {
43 return left.getCoefficient(index);
45 return -right.getCoefficient(index - left.numElements());
50 public long getOffset() {
51 return left.getOffset() - right.getOffset();