Searched refs:fConstCorr (Results 1 – 10 of 10) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswClass.c | 42 int fConstCorr; member
500 int Ssw_ClassesPrepareRehash( Ssw_Cla_t * p, Vec_Ptr_t * vCands, int fConstCorr ) in Ssw_ClassesPrepareRehash() argument
526 if ( fConstCorr ) in Ssw_ClassesPrepareRehash()
596 Ssw_Cla_t * Ssw_ClassesPrepare( Aig_Man_t * pAig, int nFramesK, int fLatchCorr, int fConstCorr, int… in Ssw_ClassesPrepare() argument
618 p->fConstCorr = fConstCorr; in Ssw_ClassesPrepare()
676 Ssw_ClassesPrepareRehash( p, vCands, fConstCorr ); in Ssw_ClassesPrepare()
696 RetValue = Ssw_ClassesPrepareRehash( p, vCands, fConstCorr ); in Ssw_ClassesPrepare()
1138 if ( p->fConstCorr ) in Ssw_ClassesRefineConst1()
|
| H A D | sswInt.h | 222 …sw_ClassesPrepare( Aig_Man_t * pAig, int nFramesK, int fLatchCorr, int fConstCorr, int fOutputCorr…
233 extern int Ssw_ClassesPrepareRehash( Ssw_Cla_t * p, Vec_Ptr_t * vCands, int fConstCorr );
|
| H A D | ssw.h | 60 int fConstCorr; // perform constant correspondence member
|
| H A D | sswCore.c | 62 p->fConstCorr = 0; // performs constant correspondence in Ssw_ManSetDefaultParams()
488 …= Ssw_ClassesPrepare( pAig, pPars->nFramesK, pPars->fLatchCorr, pPars->fConstCorr, pPars->fOutputC… in Ssw_SignalCorrespondence()
|
| H A D | sswIslands.c | 441 …Ssw_ClassesPrepare( pMiter, pPars->nFramesK, pPars->fLatchCorr, pPars->fConstCorr, pPars->fOutputC… in Ssw_SecWithSimilaritySweep()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cec.h | 72 int fConstCorr; // consider only constants member
147 int fConstCorr; // consider only constants member
|
| H A D | cecCore.c | 81 p->fConstCorr = 0; // consider only constants in Cec_ManSimSetDefaultParams()
192 p->fConstCorr = 0; // consider only constants in Cec_ManCorSetDefaultParams()
|
| H A D | cecCorr.c | 937 pParsSim->fConstCorr = pPars->fConstCorr; in Cec_ManLSCorrespondenceClasses()
|
| H A D | cecClass.c | 763 if ( p->pPars->fConstCorr ) in Cec_ManSimSimulateRound()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abc.c | 21521 pPars->fConstCorr ^= 1; in Abc_CommandSeqSweep2()
21646 …t-k : toggle doing constant correspondence [default = %s]\n", pPars->fConstCorr? "yes": "no" ); in Abc_CommandSeqSweep2()
35524 pPars->fConstCorr ^= 1; in Abc_CommandAbc9Scorr()
35583 …t-k : toggle using constant correspondence [default = %s]\n", pPars->fConstCorr? "yes": "no" ); in Abc_CommandAbc9Scorr()
|