Searched refs:Abc_TtConst0 (Results 1 – 7 of 7) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
H A D | dauDsd.c | 473 Abc_TtConst0( pRes, nWordsR ); in Dau_DsdTruth6Compose_rec() 513 Abc_TtConst0( pRes, nWordsR ); in Dau_DsdTruthCompose_rec() 567 Abc_TtConst0( pRes, nWords ); in Dau_DsdToTruth_rec() 616 Abc_TtConst0( pRes, nWords ); in Dau_DsdToTruth()
|
H A D | dauTree.c | 1158 Abc_TtConst0( pRes, nWords ); in Dss_ManComputeTruth_rec() 1200 Abc_TtConst0( pRes, nWords ); in Dss_ManComputeTruth()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcMaj2.c | 652 Abc_TtConst0( Exa_ManTruth(p, i), p->nWords ); in Exa_ManEval() 1088 Abc_TtConst0( Exa3_ManTruth(p, i), p->nWords ); in Exa3_ManEval()
|
H A D | bmcMaj.c | 548 Abc_TtConst0( Exa_ManTruth(p, i), p->nWords ); in Exa_ManEval() 1028 Abc_TtConst0( Exa3_ManTruth(p, i), p->nWords ); in Exa3_ManEval()
|
H A D | bmcMaj3.c | 1212 Abc_TtConst0( Zyx_ManTruth(p, i), p->nWords ); in Zyx_ManEval() 1448 Abc_TtConst0( pThis, nWords ); in Zyx_TestReadNode()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
H A D | ifDsd.c | 1375 Abc_TtConst0( pRes, p->nWords ); in If_DsdManComputeTruth_rec() 1414 Abc_TtConst0( pRes, p->nWords ); in If_DsdManComputeTruthPtr()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
H A D | utilTruth.h | 414 static inline void Abc_TtConst0( word * pIn1, int nWords ) in Abc_TtConst0() function
|