Searched refs:fEnableCheck07 (Results 1 – 4 of 4) sorted by relevance
1800 …pIfMan->pPars->fEnableCheck75 || pIfMan->pPars->fEnableCheck75u || pIfMan->pPars->fEnableCheck07) ) in Gia_ManFromIfLogic()1834 …fEnableCheck75 && !pIfMan->pPars->fEnableCheck75u && !pIfMan->pPars->fEnableCheck07 && !pIfMan->pP… in Gia_ManFromIfLogic()1895 …(pIfMan->pPars->fEnableCheck75 || pIfMan->pPars->fEnableCheck75u), pIfMan->pPars->fEnableCheck07 ); in Gia_ManFromIfLogic()
133 int fEnableCheck07;// enable additional checking member
757 …p->pPars->fEnableCheck07 || p->pPars->fUseCofVars || p->pPars->fUseAndVars || p->pPars->fUse34Spec… in If_CutSort()
18771 pPars->fEnableCheck07 ^= 1; in Abc_CommandIf()18841 …if ( pPars->fEnableCheck07 + pPars->fUseCofVars + pPars->fUseDsdTune + (pPars->pLutStruct != NULL)… in Abc_CommandIf()18846 if ( pPars->fEnableCheck07 ) in Abc_CommandIf()19096 … : toggles enabling additional check [default = %s]\n", pPars->fEnableCheck07? "yes": "no" ); in Abc_CommandIf()37915 …if ( pPars->fEnableCheck07 + pPars->fUseCofVars + pPars->fUseDsdTune + pPars->fEnableCheck75 + pPa… in Abc_CommandAbc9If()37920 if ( pPars->fEnableCheck07 ) in Abc_CommandAbc9If()