Searched refs:d_heap_locs (Results 1 – 2 of 2) sorted by relevance
1539 d_label_model[lbl].d_heap_locs.push_back( stt ); in computeLabelModel()1766 for( unsigned j=0; j<heap.d_heap_locs.size(); j++ ){ in debugPrintHeap()1767 Trace(c) << heap.d_heap_locs[j] << " "; in debugPrintHeap()1774 Assert( d_heap_locs.size()==d_heap_locs_model.size() ); in getValue()1775 if( d_heap_locs.empty() ){ in getValue()1777 }else if( d_heap_locs.size()==1 ){ in getValue()1778 return d_heap_locs[0]; in getValue()1780 Node curr = NodeManager::currentNM()->mkNode( kind::UNION, d_heap_locs[0], d_heap_locs[1] ); in getValue()1781 for( unsigned j=2; j<d_heap_locs.size(); j++ ){ in getValue()1782 curr = NodeManager::currentNM()->mkNode( kind::UNION, curr, d_heap_locs[j] ); in getValue()
292 std::vector< Node > d_heap_locs; variable