Searched refs:dimsSymbols (Results 1 – 1 of 1) sorted by relevance
2586 const auto &dimsSymbols = getNewNumDimsSymbols(pos, *this); in FourierMotzkinEliminate() local2587 unsigned newNumDims = dimsSymbols.first; in FourierMotzkinEliminate()2588 unsigned newNumSymbols = dimsSymbols.second; in FourierMotzkinEliminate()