Searched refs:Abc_SopSynthesizeOne (Results 1 – 4 of 4) sorted by relevance
924 extern Gia_Man_t * Abc_SopSynthesizeOne( char * pSop, int fClp ); in bmcg_sat_solver_quantify2()963 pMan = Abc_SopSynthesizeOne( Vec_StrArray(vSop), 1 ); in bmcg_sat_solver_quantify2()1064 extern Gia_Man_t * Abc_SopSynthesizeOne( char * pSop, int fClp ); in Gia_ManFactorSop()1065 Gia_Man_t * pMan = Abc_SopSynthesizeOne( Vec_StrArray(vSop), 1 ); in Gia_ManFactorSop()
2484 extern Gia_Man_t * Abc_SopSynthesizeOne( char * pSop, int fClp ); in Acb_NtkEcoPerform()2601 pOne = Abc_SopSynthesizeOne( pSop, 1 ); in Acb_NtkEcoPerform()
3238 Gia_Man_t * Abc_SopSynthesizeOne( char * pSop, int fClp ) in Abc_SopSynthesizeOne() function
1047 extern ABC_DLL Gia_Man_t * Abc_SopSynthesizeOne( char * pSop, int fClp );