/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
H A D | kitAig.c | 79 Aig_Obj_t * Kit_GraphToAig( Aig_Man_t * pMan, Aig_Obj_t ** pFanins, Kit_Graph_t * pGraph ) in Kit_GraphToAig() 101 Aig_Obj_t * Kit_TruthToAig( Aig_Man_t * pMan, Aig_Obj_t ** pFanins, unsigned * pTruth, int nVars, V… in Kit_TruthToAig()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbPush.c | 153 int k, iFanin, * pFanins; in Acb_ObjSuppMin_int() local 185 int i, k, * pFanins = Acb_ObjFanins( p, iObj ); in Acb_ObjRemoveDupFanins_int() local 267 int k, iFanin, * pFanins; in Acb_ObjFindFaninPushableIndex() local 275 int k, iFanin, * pFanins; in Acb_ObjFindFanoutPushableIndex() local 283 int k, k2, iFanin, * pFanins; in Acb_ObjPushToFanins() local
|
H A D | acbMfs.c | 168 int k, iFanin, * pFanins, Prev, This; in Acb_DeriveCnfForNode() local 199 int i, k, iObj, iObjLit, iFanin, * pFanins, Entry; in Acb_NtkWindow2Cnf() local 466 int k, iFanin, * pFanins; in Acb_NtkDivisors_rec() local 478 int k, iFanin, * pFanins; in Acb_NtkDivisors() local 663 int i, k, Node, iFanin, * pFanins; in Acb_NtkCollectTfoSideInputs() local 689 int i, iFanin, * pFanins; in Acb_NtkCollectNewTfi1_rec() local 700 int i, iFanin, * pFanins; in Acb_NtkCollectNewTfi2_rec() local 750 int i, k, iObj, iFanin, * pFanins; in Acb_NtkCollectWindow() local 916 int nSuppNew, status, k, iFanin, * pFanins; in Acb_NtkFindSupp1() local 937 int nSuppNew, status, k, iFanin, * pFanins, k2, iFanin2, * pFanins2; in Acb_NtkFindSupp2() local [all …]
|
H A D | acbUtil.c | 111 int * pFanins, iFanin, k, Level = 0; in Acb_ObjComputeLevelD() local 178 int * pFanins, iFanin, k, Path = 0; in Acb_ObjComputePathD() local 406 int k, iFanin, * pFanins; in Acb_NtkPrintNode() local 424 int k, iFanin, * pFanins; in Acb_NtkResetNode() local 452 int k, iFanin, * pFanins; in Acb_NtkSaveSupport() local
|
H A D | acb.h | 375 #define Acb_ObjForEachFaninFast( p, iObj, pFanins, iFanin, k ) \ argument 410 int k, iFanin, * pFanins; in Acb_ObjWhatFanin() local 418 int * pFanins = Acb_ObjFanins( p, iObj ); in Acb_ObjAddFanin() local 425 int i, * pFanins = Acb_ObjFanins( p, iObj ); in Acb_ObjDeleteFaninIndex() local 433 int * pFanins = Acb_ObjFanins( p, iObj ); in Acb_ObjDeleteFanin() local 447 int * pFanins = Acb_ObjFanins( p, iObj ); in Acb_ObjSetNtkId() local 453 int i, * pFanins = Acb_ObjFanins( p, iObj ); in Acb_ObjRemoveFanins() local 531 int k, iFanin, * pFanins; in Acb_ObjAddFaninFanout() local 543 int k, iFanin, * pFanins; in Acb_ObjRemoveFaninFanout() local 552 int i, RetValue, * pFanins = Acb_ObjFanins( p, iObj ); in Acb_ObjPatchFanin() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acecOrder.c | 216 int * pFanins = Vec_IntEntryP( vFadds, 5*Node ); in Gia_PolynReorder() local 222 int * pFanins = Vec_IntEntryP( vHadds, 2*Node ); in Gia_PolynReorder() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcLutmin.c | 128 Abc_Obj_t * Abc_NtkBddMux21( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pFanins[] ) in Abc_NtkBddMux21() 155 Abc_Obj_t * Abc_NtkBddMux411( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pFanins[] ) in Abc_NtkBddMux411() 188 Abc_Obj_t * Abc_NtkBddMux412( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pFanins[] ) in Abc_NtkBddMux412() 229 Abc_Obj_t * Abc_NtkBddMux412a( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pFanins[] ) in Abc_NtkBddMux412a() 269 Abc_Obj_t * Abc_NtkBddMux413( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pFanins[] ) in Abc_NtkBddMux413()
|
H A D | abcIf.c | 452 Abc_Obj_t * pFanins[IF_MAX_FUNC_LUTSIZE]; in Abc_NodeFromIf_rec() local
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/ |
H A D | kitAig.c | 94 Aig_Obj_t * Kit_GraphToAig( Aig_Man_t * pMan, Aig_Obj_t ** pFanins, Kit_Graph_t * pGraph ) in Kit_GraphToAig()
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/cnf/ |
H A D | cnfCut.c | 211 static inline int Cnf_CutMergeLeaves( Cnf_Cut_t * pCut, Cnf_Cut_t * pCutFan, int * pFanins ) in Cnf_CutMergeLeaves() 312 static THREAD_LOCAL int pFanins[32]; in Cnf_CutCompose() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/ |
H A D | cnfCut.c | 196 static inline int Cnf_CutMergeLeaves( Cnf_Cut_t * pCut, Cnf_Cut_t * pCutFan, int * pFanins ) in Cnf_CutMergeLeaves() 297 static int pFanins[32]; in Cnf_CutCompose() local
|
H A D | cnf.h | 77 int pFanins[0]; // the fanins (followed by the truth table) member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
H A D | sfmLib.c | 537 void Sfm_LibPrintGate( Mio_Cell2_t * pCell, char * pFanins, Mio_Cell2_t * pCell2, char * pFanins2 ) in Sfm_LibPrintGate() 625 int Sfm_LibFindDelayMatches( Sfm_Lib_t * p, word * pTruth, int * pFanins, int nFanins, Vec_Ptr_t * … in Sfm_LibFindDelayMatches() 679 int Sfm_LibImplementSimple( Sfm_Lib_t * p, word * pTruth, int * pFanins, int nFanins, Vec_Int_t * v… in Sfm_LibImplementSimple() 704 int Sfm_LibImplementGatesArea( Sfm_Lib_t * p, int * pFanins, int nFanins, int iObj, Vec_Int_t * vGa… in Sfm_LibImplementGatesArea() 736 int Sfm_LibImplementGatesDelay( Sfm_Lib_t * p, int * pFanins, Mio_Gate_t * pGateB, Mio_Gate_t * pGa… in Sfm_LibImplementGatesDelay()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
H A D | wlcNdr.c | 323 int * pFanins = Wlc_ObjFanins(pObj); in Ndr_NtkPrintNodes() local 458 int * pFanins = Wlc_ObjFanins(pObj); in Wlc_NtkFromNdr() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcMaj3.c | 170 static inline int Maj3_ManFindFanin( Maj3_Man_t * p, int i, int * pFanins ) in Maj3_ManFindFanin() 196 int i, k, iVar, nFanins, pFanins[MAJ3_OBJS]; in Maj3_ManPrintSolution() local 219 int i, k, iMint, pFanins[3]; word * pFaninsW[3]; in Maj3_ManEval() local 378 int i, pFanins[MAJ3_OBJS], nConstr = 0; in Maj3_ManAddConstraintsLazy() local 568 int pFanins[MAJ3_OBJS][MAJ3_OBJS]; // fanins member 1427 word * pFaninsW[6]; char * pTruth, * pFanins; in Zyx_TestReadNode() local
|
H A D | bmcMaj.c | 189 int i, k, iMint; word * pFanins[3]; in Maj_ManEval() local 542 int i, k, iMint; word * pFanins[2]; in Exa_ManEval() local 1022 int i, k, j, iMint; word * pFanins[6]; in Exa3_ManEval() local 1260 int pFanins[16]; in Exa3_ManAddCnf2() local
|
H A D | bmcMaj2.c | 285 int i, k, iMint; word * pFanins[3]; in Maj_ManEval() local 646 int i, k, iMint; word * pFanins[2]; in Exa_ManEval() local 1082 int i, k, j, iMint; word * pFanins[6]; in Exa3_ManEval() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/ |
H A D | wlnRetime.c | 177 int * pFanins = Wln_RetFanins( p, iObj ); in Wln_RetAlloc() local 427 int * pFanins = Wln_RetFanins( p, iObj ); in Wln_RetRemoveOneFanin() local 460 int * pFanins = Wln_RetFanins( p, iObj ); in Wln_RetInsertOneFanin() local
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/ |
H A D | cnf_short.h | 90 int pFanins[0]; // the fanins (followed by the truth table) member
|
H A D | cnf.h | 90 int pFanins[0]; // the fanins (followed by the truth table) member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaGig.c | 421 …int * pFanins = Type == GLS_LUT4 ? Vec_IntEntryP(p->vLut4s, 4*Index) : Vec_IntEntryP(p->vLut6s, 6*… in Gls_ManConstruct() local
|
H A D | giaSatLE.c | 565 int nFanins, * pFanins, * pCut, * pList, iFound = -1; in Sle_ManDeriveInit() local 912 int * pFanins = Gia_ObjLutFanins( p->pGia, iObj ); in Sle_ManDeriveResult() local
|
H A D | giaIf.c | 391 void Gia_ManPrintGetMuxFanins( Gia_Man_t * p, Gia_Obj_t * pObj, int * pFanins ) in Gia_ManPrintGetMuxFanins() 402 int i, pFanins[3], nCountDup = 0, nCountPis = 0, nCountMux = 0; in Gia_ManCountDupLut() local 465 int pFanins[3]; in Gia_ManPrintMappingStats() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/csw/ |
H A D | cswInt.h | 66 int pFanins[0]; // the fanins (followed by the truth table) member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
H A D | dauGia.c | 54 int Dau_DsdToGiaCompose_rec( Gia_Man_t * pGia, word Func, int * pFanins, int nVars ) in Dau_DsdToGiaCompose_rec()
|