Searched refs:d_regions (Results 1 – 3 of 3) sorted by relevance
493 i != d_regions.end(); ++i) { in ~SortModel()497 d_regions.clear(); in ~SortModel()720 if( d_regions[i]->valid() && d_regions[i]->getNumReps()>d_cardinality ){ in check()808 Region* region = d_regions[ri]; in getDisequalitiesToRegions()958 if( d_regions[ai]->getNumReps()<d_regions[bi]->getNumReps() ){ in combineRegions()964 Region* region_bi = d_regions[bi]; in combineRegions()972 d_regions[ai]->combine( d_regions[bi] ); in combineRegions()973 d_regions[bi]->setValid( false ); in combineRegions()982 d_regions[ri]->takeNode( d_regions[ d_regions_map[n] ], n ); in moveNode()1156 Region* region = d_regions[i]; in debugPrint()[all …]
220 std::vector< Region* > d_regions; variable238 return ri>=0 && ri<(int)d_regions_index && d_regions[ ri ]->valid(); in isValid()
59 private Region[] d_regions;524 foreach (var region in d_regions)725 d_regions += region;785 d_regions += region;