| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigTruth.c | 62 unsigned * pTruth0, * pTruth1; in Aig_ManCutTruthOne() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigTruth.c | 47 unsigned * pTruth0, * pTruth1; in Aig_ManCutTruthOne() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
| H A D | mpmTruth.c | 148 word * pTruth1 = Mpm_CutTruth( p, Abc_Lit2Var(pCut1->iFunc) ); in Mpm_CutComputeTruth6() local
184 word * pTruth1 = Mpm_CutTruth( p, Abc_Lit2Var(pCut1->iFunc) ); in Mpm_CutComputeTruth7() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
| H A D | lpkAbcMux.c | 169 unsigned * pTruth1 = Lpk_FunTruth( p, 2 ); in Lpk_MuxSplit() local
|
| H A D | lpkCut.c | 48 CloudNode * pTruth, * pTruth0, * pTruth1; in Lpk_CutTruthBdd_rec() local
140 unsigned * pTruth, * pTruth0, * pTruth1; in Lpk_CutTruth_rec() local
|
| H A D | lpkAbcUtil.c | 190 unsigned * pTruth1 = Lpk_FunTruth( p, 2 ); in Lpk_FunComputeCofSupps() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifTruth.c | 104 word * pTruth1 = (word *)p->puTemp[1]; in If_CutComputeTruth() local
172 word * pTruth1 = (word *)p->puTemp[1]; in If_CutComputeTruthPerm_int() local
|
| H A D | ifTune.c | 1330 word * pTruth1; in Ifn_NtkMatch() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaBidec.c | 48 unsigned * pTruth, * pTruth0, * pTruth1; in Gia_ManConvertAigToTruth_rec() local
|
| H A D | giaTruth.c | 319 word * pTruth, * pTruthL, * pTruth0, * pTruth1; in Gia_ObjComputeTruthTable() local
495 word * pTruth, * pTruthL, * pTruth0, * pTruth1; in Gia_ObjComputeTruthTableCut() local
|
| H A D | giaMf.c | 577 word * pTruth1 = Vec_MemReadEntry(p->vTtMem, Abc_Lit2Var(pCut1->iFunc)); in Mf_CutComputeTruth() local
630 word * pTruth1 = Vec_MemReadEntry(p->vTtMem, Abc_Lit2Var(pCut1->iFunc)); in Mf_CutComputeTruthMux() local
|
| H A D | giaCut.c | 370 word * pTruth1 = Gia_CutTruth(p, pCut1); in Gia_CutComputeTruth() local
|
| H A D | giaLf.c | 995 word * pTruth1 = Lf_CutTruth(p, pCut1); in Lf_CutComputeTruth() local
1044 word * pTruth1 = Lf_CutTruth(p, pCut1); in Lf_CutComputeTruthMux() local
|
| H A D | giaSimBase.c | 559 word * pTruth1 = Gia_SimRsbFunc( p, iObj, p->vFanins, 1 ); in Gia_SimRsbResubVerify() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/ |
| H A D | hopTruth.c | 99 unsigned * pTruth, * pTruth0, * pTruth1; in Hop_ManConvertAigToTruth_rec2() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitHop.c | 103 int Kit_TruthToGia2( Gia_Man_t * pMan, unsigned * pTruth0, unsigned * pTruth1, int nVars, Vec_Int_t… in Kit_TruthToGia2()
|
| H A D | kitGraph.c | 383 Kit_Graph_t * Kit_TruthToGraph2( unsigned * pTruth0, unsigned * pTruth1, int nVars, Vec_Int_t * vMe… in Kit_TruthToGraph2()
|
| H A D | kitCloud.c | 112 unsigned * pTruth0, * pTruth1; in Kit_TruthToCloud_rec() local
|
| H A D | kitTruth.c | 1028 int Kit_TruthXorCount( unsigned * pTruth0, unsigned * pTruth1, int nVars ) in Kit_TruthXorCount()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/ |
| H A D | amapPerm.c | 241 unsigned * pTruth0, * pTruth1, * pTruth; in Amap_LibVerifyPerm_rec() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcRefactor.c | 84 word * pTruth0, * pTruth1, * pTruth = NULL; in Abc_NodeConeTruth() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyUtil.c | 152 unsigned * pTruth, * pTruth0, * pTruth1; in Ivy_ManCutTruthOne() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/super/ |
| H A D | superGate.c | 1150 unsigned * pTruth1 = (*ppG1)->uTruth; in Super_WriteCompare() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
| H A D | sbdCut.c | 410 word * pTruth1 = Sbd_CutTruth(p, pCut1); in Sbd_CutComputeTruth() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acec2Mult.c | 614 word * pTruth1 = Sdb_CutTruth(p, pCut1); in Sdb_CutComputeTruth() local
|