Searched refs:splitRow (Results 1 – 1 of 1) sorted by relevance
550 unsigned splitRow = 0; in computeSymbolicIntegerLexMin() local551 for (unsigned e = getNumRows(); splitRow < e; ++splitRow) { in computeSymbolicIntegerLexMin()552 if (tableau(splitRow, 2) > 0) in computeSymbolicIntegerLexMin()554 assert(tableau(splitRow, 2) == 0 && in computeSymbolicIntegerLexMin()557 symbolicSample = getSymbolicSampleIneq(splitRow); in computeSymbolicIntegerLexMin()569 if (splitRow < getNumRows()) { in computeSymbolicIntegerLexMin()592 int splitIndex = rowUnknown[splitRow]; in computeSymbolicIntegerLexMin()