Home
last modified time | relevance | path

Searched refs:Abc_TtConst0 (Results 1 – 7 of 7) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/
H A DdauDsd.c473 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 DdauTree.c1158 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 DbmcMaj2.c652 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 DbmcMaj.c548 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 DbmcMaj3.c1212 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 DifDsd.c1375 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 DutilTruth.h414 static inline void Abc_TtConst0( word * pIn1, int nWords ) in Abc_TtConst0() function