Home
last modified time | relevance | path

Searched refs:Maj_ManTruth (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcMaj2.c55 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 DbmcMaj.c52 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()