Searched refs:Cut_CutReadTruth (Results 1 – 8 of 8) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cut/ |
H A D | cutTruth.c | 93 uTruth = *Cut_CutReadTruth(pCut); in Cut_TruthNCanonicize() 104 uTruth = ~*Cut_CutReadTruth(pCut); in Cut_TruthNCanonicize() 135 Extra_TruthExpand( pCut->nVarsMax, nTruthWords, Cut_CutReadTruth(pCut0), uPhase, uTruth0 ); in Cut_TruthComputeOld() 152 pTruthRes = Cut_CutReadTruth(pCut); in Cut_TruthComputeOld() 181 Extra_TruthNot( p->puTemp[0], Cut_CutReadTruth(pCut0), pCut->nVarsMax ); in Cut_TruthCompute() 183 Extra_TruthCopy( p->puTemp[0], Cut_CutReadTruth(pCut0), pCut->nVarsMax ); in Cut_TruthCompute() 187 Extra_TruthNot( p->puTemp[1], Cut_CutReadTruth(pCut1), pCut->nVarsMax ); in Cut_TruthCompute() 189 Extra_TruthCopy( p->puTemp[1], Cut_CutReadTruth(pCut1), pCut->nVarsMax ); in Cut_TruthCompute() 193 Extra_TruthNand( Cut_CutReadTruth(pCut), p->puTemp[2], p->puTemp[3], pCut->nVarsMax ); in Cut_TruthCompute() 195 Extra_TruthAnd( Cut_CutReadTruth(pCut), p->puTemp[2], p->puTemp[3], pCut->nVarsMax ); in Cut_TruthCompute() [all …]
|
H A D | cutExpand.c | 134 Extra_TruthCopy( uTemp, Cut_CutReadTruth(pCutF), pCutF->nLeaves ); in Cut_TruthCompose() 169 Extra_TruthStretch( uTemp, Cut_CutReadTruth(pCutT), pCutT->nLeaves, pCutT->nVarsMax, uPhase ); in Cut_TruthCompose() 172 pTemp = Cut_CutReadTruth(pCutRes); in Cut_TruthCompose()
|
H A D | cut.h | 94 static inline unsigned * Cut_CutReadTruth( Cut_Cut_t * p ) { return (unsigned *)(p->pLeaves + … in Cut_CutReadTruth() function
|
H A D | cutCut.c | 255 unsigned * pTruth = Cut_CutReadTruth(pCut); in Cut_CutCreateTriv()
|
H A D | cutOracle.c | 242 unsigned * pTruth = Cut_CutReadTruth(pCut); in Cut_CutTriv()
|
H A D | cutNode.c | 404 Aig_RManRecord( Cut_CutReadTruth(pCut), Cut_CutReadLeaveNum(pCut) ); in Cut_NodeComputeCuts()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/rwr/ |
H A D | rwrEva.c | 101 uTruth = 0xFFFF & *Cut_CutReadTruth(pCut); in Rwr_NodeRewrite() 163 uTruthBest = 0xFFFF & *Cut_CutReadTruth(pCut); in Rwr_NodeRewrite() 264 uTruth = 0xFFFF & *Cut_CutReadTruth(pCut); in Rwr_CutEvaluate()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcCut.c | 183 Npn_ManSaveOne( Cut_CutReadTruth(pCut), pCut->nLeaves ); in Abc_NtkCuts()
|