Home
last modified time | relevance | path

Searched refs:Ssc_PerformSweepingConstr (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/
H A Dssc.h66 extern Gia_Man_t * Ssc_PerformSweepingConstr( Gia_Man_t * p, Ssc_Pars_t * pPars );
H A DsscUtil.c151 pTemp = Ssc_PerformSweepingConstr( pAux = pTemp, pPars ); in Gia_ManOptimizeRing()
H A DsscCore.c420 Gia_Man_t * Ssc_PerformSweepingConstr( Gia_Man_t * p, Ssc_Pars_t * pPars ) in Ssc_PerformSweepingConstr() function
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dabc.c36075 pTemp = Ssc_PerformSweepingConstr( pAbc->pGia, pPars ); in Abc_CommandAbc9CFraig()