Searched refs:domainPolyCounts (Results 1 – 1 of 1) sorted by relevance
530 IntegerRelation::CountsSnapshot domainPolyCounts; in computeSymbolicIntegerLexMin() member571 IntegerRelation::CountsSnapshot domainPolyCounts = in computeSymbolicIntegerLexMin() local595 {splitIndex, snapshot, domainSnapshot, domainPolyCounts}); in computeSymbolicIntegerLexMin()622 domainPoly.truncate(frame.domainPolyCounts); in computeSymbolicIntegerLexMin()