Searched refs:getNewNumDimsSymbols (Results 1 – 1 of 1) sorted by relevance
2459 getNewNumDimsSymbols(unsigned pos, const FlatAffineConstraints &cst) { in getNewNumDimsSymbols() function2586 const auto &dimsSymbols = getNewNumDimsSymbols(pos, *this); in FourierMotzkinEliminate()