Searched refs:numEqualities (Results 1 – 2 of 2) sorted by relevance
26 unsigned numEqualities = 0; in getNumEqualities() local29 ++numEqualities; in getNumEqualities()30 return numEqualities; in getNumEqualities()
307 int numEqualities = static_cast<int>(getNumEqualities()); in addId() local319 for (int r = numEqualities - 1; r >= 0; r--) { in addId()2019 unsigned numEqualities = getNumEqualities(); in removeEquality() local2020 assert(pos < numEqualities); in removeEquality()2023 unsigned numElemsToCopy = (numEqualities - pos - 1) * numReservedCols; in removeEquality()