Home
last modified time | relevance | path

Searched refs:Cut_CutReadTruth (Results 1 – 8 of 8) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cut/
H A DcutTruth.c93 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 DcutExpand.c134 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 Dcut.h94 static inline unsigned * Cut_CutReadTruth( Cut_Cut_t * p ) { return (unsigned *)(p->pLeaves + … in Cut_CutReadTruth() function
H A DcutCut.c255 unsigned * pTruth = Cut_CutReadTruth(pCut); in Cut_CutCreateTriv()
H A DcutOracle.c242 unsigned * pTruth = Cut_CutReadTruth(pCut); in Cut_CutTriv()
H A DcutNode.c404 Aig_RManRecord( Cut_CutReadTruth(pCut), Cut_CutReadLeaveNum(pCut) ); in Cut_NodeComputeCuts()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/rwr/
H A DrwrEva.c101 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 DabcCut.c183 Npn_ManSaveOne( Cut_CutReadTruth(pCut), pCut->nLeaves ); in Abc_NtkCuts()