Searched refs:d_regions_index (Results 1 – 2 of 2) sorted by relevance
466 d_regions_index(c, 0), in SortModel()534 d_regions_index = 0; in newEqClass()536 d_regions_map[n] = d_regions_index; in newEqClass()541 if( d_regions_index<d_regions.size() ){ in newEqClass()549 d_regions[ d_regions_index ]->addRep( n ); in newEqClass()550 d_regions_index = d_regions_index + 1; in newEqClass()700 for( int i=0; i<(int)d_regions_index; i++ ){ in check()855 for( int i=0; i<(int)d_regions_index; i++ ){ in assertCardinality()914 for( int i=0; i<(int)d_regions_index; i++ ){ in forceCombineRegion()1155 for( unsigned i=0; i<d_regions_index; i++ ){ in debugPrint()[all …]
218 context::CDO< unsigned > d_regions_index; variable238 return ri>=0 && ri<(int)d_regions_index && d_regions[ ri ]->valid(); in isValid()