| 1330 | } |
| 1331 | |
| 1332 | void Engine::augmentInitialBasisIfNeeded( List<unsigned> &initialBasis, |
| 1333 | const List<unsigned> &basicRows ) |
| 1334 | { |
| 1335 | unsigned m = _preprocessedQuery->getEquations().size(); |
| 1336 | unsigned n = _preprocessedQuery->getNumberOfVariables(); |
| 1337 | unsigned originalN = n - m; |
| 1338 | |
| 1339 | if ( initialBasis.size() != m ) |
| 1340 | { |
| 1341 | for ( const auto &basicRow : basicRows ) |
| 1342 | initialBasis.append( basicRow + originalN ); |
| 1343 | } |
| 1344 | } |
| 1345 | |
| 1346 | void Engine::initializeTableau( const double *constraintMatrix, const List<unsigned> &initialBasis ) |
| 1347 | { |
nothing calls this directly
no test coverage detected