Home
last modified time | relevance | path

Searched refs:nSymbol (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp35 : usingBigM(mustUseBigM), nRedundant(0), nSymbol(0), in SimplexBase()
54 swapColumns(var[symbolIdx].pos, getNumFixedCols() + nSymbol); in SimplexBase()
55 ++nSymbol; in SimplexBase()
331 sample.reserve(nSymbol + 1); in getSymbolicSampleNumerator()
332 for (unsigned col = 3; col < 3 + nSymbol; ++col) in getSymbolicSampleNumerator()
348 swapColumns(3 + nSymbol, getNumColumns() - 1); in appendSymbol()
350 nSymbol++; in appendSymbol()
408 divCoeffs.reserve(nSymbol + 1); in addSymbolicCut()
410 for (unsigned col = 3; col < 3 + nSymbol; ++col) in addSymbolicCut()
427 for (unsigned col = 3; col < 3 + nSymbol - 1; ++col) in addSymbolicCut()
[all …]
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h336 unsigned nSymbol; variable