Lines Matching +full:matrix +full:- +full:vector
1 //===- Utils.h - Utils for Presburger Tests ---------------------*- C++ -*-===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
11 //===----------------------------------------------------------------------===//
18 #include "mlir/Analysis/Presburger/Matrix.h"
29 ArrayRef<SmallVector<int, 8>> matrix) { in makeIntMatrix() argument
31 assert(matrix.size() == numRow); in makeIntMatrix()
33 assert(matrix[i].size() == numColumns && in makeIntMatrix()
36 results(i, j) = DynamicAPInt(matrix[i][j]); in makeIntMatrix()
42 ArrayRef<SmallVector<Fraction, 8>> matrix) { in makeFracMatrix() argument
44 assert(matrix.size() == numRow); in makeFracMatrix()
46 assert(matrix[i].size() == numColumns && in makeFracMatrix()
49 results(i, j) = matrix[i][j]; in makeFracMatrix()
84 std::vector<detail::ParamPoint> aNums = a.getNumerators(); in EXPECT_EQ_REPR_GENERATINGFUNCTION()
85 std::vector<detail::ParamPoint> bNums = b.getNumerators(); in EXPECT_EQ_REPR_GENERATINGFUNCTION()
90 std::vector<std::vector<detail::Point>> aDens = a.getDenominators(); in EXPECT_EQ_REPR_GENERATINGFUNCTION()
91 std::vector<std::vector<detail::Point>> bDens = b.getDenominators(); in EXPECT_EQ_REPR_GENERATINGFUNCTION()
116 std::vector<std::vector<SmallVector<Fraction>>> aAff = a.getAffine(), in EXPECT_EQ_REPR_QUASIPOLYNOMIAL()
127 /// lhs and rhs represent non-negative integers or positive infinity. The