/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcGen.c | 706 unsigned * pTruth; in Abc_GenRandom() local
|
H A D | abcPrint.c | 1771 Vec_Wrd_t * vTruths; word * pTruth; in Abc_NtkMfsTotalGlitchingLut() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
H A D | dauMerge.c | 605 word * pTruth, * pt = NULL, * pt0 = NULL, * pt1 = NULL; in Dau_DsdMerge() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaMan.c | 801 unsigned * pTruth; in Gia_ManPrintNpnClasses() local
|
H A D | giaLf.c | 937 static inline int Lf_ManFindCofVar( word * pTruth, int nWords, int nVars ) in Lf_ManFindCofVar() 1779 word * pTruth; in Lf_ManDerivePart() local 1783 word pTruthCof[LF_TT_WORDS], * pTruth = Lf_CutTruth( p, pCut ); in Lf_ManDerivePart() local
|
H A D | giaMf.c | 450 word pTruth[4], * pTruthP = Vec_MemReadEntry(p->vTtMem, iFunc); in Mf_ManDeriveCnf() local 1299 word uTruth = 0, * pTruth = &uTruth; in Mf_ManDeriveMappingGia() local
|
H A D | giaJf.c | 1442 word uTruth = 0, * pTruth = &uTruth; in Jf_ManDeriveMappingGia() local 1589 word uTruth = 0, * pTruth = &uTruth, Truth[JF_WORD_MAX]; in Jf_ManDeriveGia() local
|
H A D | giaGlitch.c | 40 word * pTruth; // truth table of the node member
|
H A D | giaPf.c | 228 word * pTruth = Vec_MemReadEntry(p->vTtMem, t); in Pf_StoPrintOne() local
|
H A D | giaSimBase.c | 538 word * pTruth = ABC_CALLOC( word, nTruthWords ); in Gia_SimRsbFunc() local
|
H A D | giaUtil.c | 1987 unsigned pTruth[MAX_LUT_SIZE<6?1:(1<<(MAX_LUT_SIZE-5))]; // the truth table member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
H A D | lpkInt.h | 159 unsigned pTruth[0]; // the truth table (contains room for three truth tables) member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
H A D | sbdCore.c | 1009 int Sbd_ManExplore( Sbd_Man_t * p, int Pivot, word * pTruth ) in Sbd_ManExplore() 1170 int Sbd_ManExplore2( Sbd_Man_t * p, int Pivot, word * pTruth ) in Sbd_ManExplore2()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/ |
H A D | vecPtr.h | 1134 unsigned * pTruth; in Vec_PtrAllocTruthTables() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
H A D | sfmDec.c | 783 …, word * pTruth1, int * pSupp0, int * pSupp1, int nSupp0, int nSupp1, word * pTruth, int * pSupp, … in Sfm_DecCombineDec() 815 int Sfm_DecPeformDec_rec( Sfm_Dec_t * p, word * pTruth, int * pSupp, int * pAssump, int nAssump, wo… in Sfm_DecPeformDec_rec()
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/sqlite/src/src/ |
H A D | wherecode.c | 1250 Expr *pTruth, in whereApplyPartialIndexConstraints()
|
/dports/databases/sqlite3/sqlite-src-3350500/src/ |
H A D | wherecode.c | 1260 Expr *pTruth, in whereApplyPartialIndexConstraints()
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/sqlite/src/src/ |
H A D | wherecode.c | 1260 Expr *pTruth, in whereApplyPartialIndexConstraints()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acec2Mult.c | 960 word * pTruth; in Sdb_StoIterCutsOne() local
|
H A D | acecFadds.c | 254 int Dtc_ObjComputeTruth( Gia_Man_t * p, int iObj, int * pCut, int * pTruth ) in Dtc_ObjComputeTruth()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mio/ |
H A D | mioUtils.c | 798 Mio_Gate_t * pGate0, ** ppGates; word * pTruth; in Mio_CollectRootsNewDefault3() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
H A D | wlcBlast.c | 701 word * pTruth = ABC_ALLOC( word, Abc_TtWordNum(nFans) ); in Wlc_BlastTable() local 1469 word * pTruth = (word *)Wlc_ObjFanins(pObj); in Wlc_NtkBitBlast() local
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/ |
H A D | kit.h | 470 static inline void Kit_TruthIthVar( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthIthVar()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cba/ |
H A D | cbaBlast.c | 509 word * pTruth = ABC_ALLOC( word, Abc_TtWordNum(nFans) ); in Cba_BlastTable() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
H A D | kit.h | 476 static inline void Kit_TruthIthVar( unsigned * pTruth, int nVars, int iVar ) in Kit_TruthIthVar()
|