Searched refs:Gia_ManIsoStrashReduceInt (Results 1 – 2 of 2) sorted by relevance
538 extern Vec_Wec_t * Gia_ManIsoStrashReduceInt( Gia_Man_t * p, Vec_Wec_t * vSupps, int fVerbose );786 vClasses = Gia_ManIsoStrashReduceInt( p, vSupps, 0 ); in Abc_GiaDeriveSops()
4149 Vec_Wec_t * Gia_ManIsoStrashReduceInt( Gia_Man_t * p, Vec_Wec_t * vSupps, int fVerbose ) in Gia_ManIsoStrashReduceInt() function4194 Vec_Wec_t * vPosEquivs = Gia_ManIsoStrashReduceInt( p, vSupps, fVerbose ); in Gia_ManIsoStrashReduce()