Searched refs:isColZero (Results 1 – 3 of 3) sorted by relevance
673 bool isColZero(unsigned pos) const;
1762 if (isColZero(pos)) { in fourierMotzkinEliminate()2086 bool IntegerRelation::isColZero(unsigned pos) const { in isColZero() function in IntegerRelation
1536 if (!memo[i] && !isColZero(/*pos=*/i)) in getAsIntegerSet()