Java Reference

Java Reference

Difference.java
Go to the documentation of this file.
1// Copyright 2010-2018 Google LLC
2// Licensed under the Apache License, Version 2.0 (the "License");
3// you may not use this file except in compliance with the License.
4// You may obtain a copy of the License at
5//
6// http://www.apache.org/licenses/LICENSE-2.0
7//
8// Unless required by applicable law or agreed to in writing, software
9// distributed under the License is distributed on an "AS IS" BASIS,
10// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
11// See the License for the specific language governing permissions and
12// limitations under the License.
13
14package com.google.ortools.sat;
15
17final class Difference implements LinearExpr {
18 private final LinearExpr left;
19 private final LinearExpr right;
20
21 public Difference(LinearExpr left, LinearExpr right) {
22 this.left = left;
23 this.right = right;
24 }
25
26 @Override
27 public int numElements() {
28 return left.numElements() + right.numElements();
29 }
30
31 @Override
32 public IntVar getVariable(int index) {
33 if (index < left.numElements()) {
34 return left.getVariable(index);
35 } else {
36 return right.getVariable(index - left.numElements());
37 }
38 }
39
40 @Override
41 public long getCoefficient(int index) {
42 if (index < left.numElements()) {
43 return left.getCoefficient(index);
44 } else {
45 return -right.getCoefficient(index - left.numElements());
46 }
47 }
48
49 @Override
50 public long getOffset() {
51 return left.getOffset() - right.getOffset();
52 }
53}