Searched refs:te_domain (Results 1 – 1 of 1) sorted by relevance
276 TypeEnumerator te_domain( it->first ); in postProcessModel() local278 m_heap = NodeManager::currentNM()->mkNode( kind::SEP_EMP, *te_domain, *te_range ); in postProcessModel()