Searched refs:Maj_ManTruth (Results 1 – 2 of 2) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcMaj2.c | 55 static inline word * Maj_ManTruth( Maj_Man_t * p, int v ) { return Vec_WrdEntryP( p->vInfo, p->nWo… in Maj_ManTruth() function 83 Abc_TtFill( Maj_ManTruth(p, 1), p->nWords ); in Maj_ManTruthTables() 85 Abc_TtIthVar( Maj_ManTruth(p, i+2), i, p->nVars ); in Maj_ManTruthTables() 88 Abc_TtSetBit( Maj_ManTruth(p, p->nObjs), i ); in Maj_ManTruthTables() 289 pFanins[k] = Maj_ManTruth( p, Maj_ManFindFanin(p, i, k) ); in Maj_ManEval() 290 Abc_TtMaj( Maj_ManTruth(p, i), pFanins[0], pFanins[1], pFanins[2], p->nWords ); in Maj_ManEval() 300 … if ( Abc_TtGetBit(Maj_ManTruth(p, p->nObjs), i) == Abc_TtGetBit(Maj_ManTruth(p, p->nObjs-1), i) ) in Maj_ManEval() 309 … iMint = Abc_TtFindLastDiffBit( Maj_ManTruth(p, p->nObjs-1), Maj_ManTruth(p, p->nObjs), p->nVars ); in Maj_ManEval() 311 …iMint = Abc_TtFindFirstDiffBit( Maj_ManTruth(p, p->nObjs-1), Maj_ManTruth(p, p->nObjs), p->nVars ); in Maj_ManEval()
|
H A D | bmcMaj.c | 52 static inline word * Maj_ManTruth( Maj_Man_t * p, int v ) { return Vec_WrdEntryP( p->vInfo, p->nWo… in Maj_ManTruth() function 80 Abc_TtFill( Maj_ManTruth(p, 1), p->nWords ); in Maj_ManTruthTables() 82 Abc_TtIthVar( Maj_ManTruth(p, i+2), i, p->nVars ); in Maj_ManTruthTables() 85 Abc_TtSetBit( Maj_ManTruth(p, p->nObjs), i ); in Maj_ManTruthTables() 193 pFanins[k] = Maj_ManTruth( p, Maj_ManFindFanin(p, i, k) ); in Maj_ManEval() 194 Abc_TtMaj( Maj_ManTruth(p, i), pFanins[0], pFanins[1], pFanins[2], p->nWords ); in Maj_ManEval() 204 … if ( Abc_TtGetBit(Maj_ManTruth(p, p->nObjs), i) == Abc_TtGetBit(Maj_ManTruth(p, p->nObjs-1), i) ) in Maj_ManEval() 213 … iMint = Abc_TtFindLastDiffBit( Maj_ManTruth(p, p->nObjs-1), Maj_ManTruth(p, p->nObjs), p->nVars ); in Maj_ManEval() 215 …iMint = Abc_TtFindFirstDiffBit( Maj_ManTruth(p, p->nObjs-1), Maj_ManTruth(p, p->nObjs), p->nVars ); in Maj_ManEval()
|