Searched refs:te_range (Results 1 – 1 of 1) sorted by relevance
243 TypeEnumerator te_range( data_type ); in postProcessModel() local245 pto_children.push_back( *te_range ); in postProcessModel()251 cv = *te_range; in postProcessModel()255 ++te_range; in postProcessModel()277 TypeEnumerator te_range( d_loc_to_data_type[it->first] ); in postProcessModel() local278 m_heap = NodeManager::currentNM()->mkNode( kind::SEP_EMP, *te_domain, *te_range ); in postProcessModel()