Searched refs:Gia_StaHasValue1 (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaEra2.c | 195 if ( Gia_StaHasValue1( pCube, i ) ) in Gia_ManCountMintermsInCube()
692 else if ( Gia_StaHasValue1(pSta, i) ) in Gia_ManArePrintCube()
867 else if ( Gia_StaHasValue1(pCube, iVarThis) ) in Gia_ManAreFindBestVar()
919 else if ( Gia_StaHasValue1(pCube, pNode->iVar) ) in Gia_ManAreRebalance()
1077 else if ( Gia_StaHasValue1(pSta, pObj->iVar) ) in Gia_ManAreCubeCheckTree_rec()
1124 else if ( Gia_StaHasValue1(pSta, pObj->iVar) ) in Gia_ManAreCubeAddToTree_rec()
1235 else if ( Gia_StaHasValue1(pSta, pObj->iVar) ) in Gia_ManAreCubeCollectTree_rec()
1647 else if ( Gia_StaHasValue1( pSta, i ) ) in Gia_ManAreDeriveNexts()
1861 else if ( Gia_StaHasValue1(pCur, i) ) in Gia_ManAreDeriveCexSat()
1869 else if ( Gia_StaHasValue1(pNext, i) ) in Gia_ManAreDeriveCexSat()
[all …]
|