Searched refs:pTruth2 (Results 1 – 3 of 3) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/ |
H A D | hopTruth.c | 156 unsigned * pTruth, * pTruth2; in Hop_ManConvertAigToTruth() local 211 pTruth2 = Hop_ManConvertAigToTruth_rec2( Hop_Regular(pRoot), vTruth, nWords ); in Hop_ManConvertAigToTruth() 213 Hop_ManTruthCopy( pTruth, pTruth2, nVars ); in Hop_ManConvertAigToTruth()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/super/ |
H A D | superGate.c | 1151 unsigned * pTruth2 = (*ppG2)->uTruth; in Super_WriteCompare() local 1152 if ( pTruth1[1] < pTruth2[1] ) in Super_WriteCompare() 1154 if ( pTruth1[1] > pTruth2[1] ) in Super_WriteCompare() 1156 if ( pTruth1[0] < pTruth2[0] ) in Super_WriteCompare() 1158 if ( pTruth1[0] > pTruth2[0] ) in Super_WriteCompare()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
H A D | dauCanon.c | 1530 static word pTruth2[1024]; in Abc_TtCanonicizeWrap() local 1535 Abc_TtCopy(pTruth2, pTruth, nWords, 1); in Abc_TtCanonicizeWrap() 1537 uCanonPhase2 = func(p, pTruth2, nVars, pCanonPerm2, flag); in Abc_TtCanonicizeWrap() 1538 if (Abc_TtCompareRev(pTruth, pTruth2, nWords) <= 0) in Abc_TtCanonicizeWrap() 1540 Abc_TtCopy(pTruth, pTruth2, nWords, 0); in Abc_TtCanonicizeWrap()
|