Searched refs:getIndependentConstraints (Results 1 – 1 of 1) sorted by relevance
2094 static void getIndependentConstraints(const IntegerRelation &cst, unsigned pos, in getIndependentConstraints() function2129 getIndependentConstraints(*this, /*pos=*/0, num, nbIneqIndices, nbEqIndices); in removeIndependentConstraints()