Searched refs:dirsNumCols (Results 1 – 1 of 1) sorted by relevance
698 unsigned dirsNumCols = getNumCols() - 1; in getBoundedDirections() local699 Matrix dirs(boundedIneqs.size() + getNumEqualities(), dirsNumCols); in getBoundedDirections()704 for (unsigned col = 0; col < dirsNumCols; ++col) in getBoundedDirections()711 for (unsigned col = 0; col < dirsNumCols; ++col) in getBoundedDirections()