Searched refs:Gia_ManCollapse (Results 1 – 1 of 1) sorted by relevance
293 Vec_Ptr_t * Gia_ManCollapse( Gia_Man_t * p, DdManager * dd, int nBddLimit, int fVerbose ) in Gia_ManCollapse() function360 vFuncs = Gia_ManCollapse( p, dd, 10000, 0 ); in Gia_ManCollapseTest()