Searched refs:Aig_ObjDomUnion (Results 1 – 1 of 1) sorted by relevance
512 void Aig_ObjDomUnion( Aig_Sto_t * pSto, Vec_Ptr_t * vDoms2, Vec_Ptr_t * vDoms1 ) in Aig_ObjDomUnion() function753 Aig_ObjDomUnion( pSto, vDoms2, vDoms1 ); in Aig_ObjDomCollect()