Searched refs:d_label_model (Results 1 – 2 of 2) sorted by relevance
230 if( d_label_model[it->second].d_heap_locs_model.empty() ){ in postProcessModel()515 d_label_model.clear(); in check()704 Assert( d_label_model.find( s_lbl )!=d_label_model.end() ); in check()1326 Assert( d_label_model.find( sub_lbl_0 )!=d_label_model.end() ); in instantiateLabel()1330 Assert( d_label_model.find( sub_lbl )!=d_label_model.end() ); in instantiateLabel()1406 Assert( d_label_model.find( o_lbl )!=d_label_model.end() ); in instantiateLabel()1409 …eHeap = std::find( d_label_model[o_lbl].d_heap_locs_model.begin(), d_label_model[o_lbl].d_heap_loc… in instantiateLabel()1498 if( !d_label_model[lbl].d_computed ){ in computeLabelModel()1499 d_label_model[lbl].d_computed = true; in computeLabelModel()1519 Node u = d_label_model[lbl].d_heap_locs_model[j]; in computeLabelModel()[all …]
298 std::map< Node, HeapInfo > d_label_model; variable