/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abcNetlist.c | 55 Abc_Obj_t * pObj, * pFanin; in Abc_NtkToLogic() local 153 Abc_Obj_t * pObj, * pNet, * pDriver, * pFanin; in Abc_NtkLogicToNetlist() local 257 Abc_Obj_t * pObj, * pFanin, * pNodeNew; in Abc_NtkAigToLogicSop() local 345 Abc_Obj_t * pObj, * pFanin; in Abc_NtkAigToLogicSopBench() local 416 Abc_Obj_t * pObj, * pFanin; in Abc_NtkAigToLogicSopNand() local 496 Abc_Obj_t * pObj, * pFanin, * pFaninNew; in Abc_NtkAddPoBuffers() local
|
H A D | abcFanio.c | 84 void Abc_ObjAddFanin( Abc_Obj_t * pObj, Abc_Obj_t * pFanin ) in Abc_ObjAddFanin() 111 void Abc_ObjDeleteFanin( Abc_Obj_t * pObj, Abc_Obj_t * pFanin ) in Abc_ObjDeleteFanin() 144 Abc_Obj_t * pFanin; in Abc_ObjRemoveFanins() local 373 int Abc_ObjFanoutFaninNum( Abc_Obj_t * pFanout, Abc_Obj_t * pFanin ) in Abc_ObjFanoutFaninNum()
|
H A D | abcBarBuf.c | 95 Abc_Obj_t * pObj, * pFanin; in Abc_NtkCollectPiPos_rec() local 168 Abc_Obj_t * pObj, * pFanin; in Abc_NtkToBarBufs_rec() local 254 Abc_Obj_t * pFanin; in Abc_NtkFromBarBufs_rec() local 342 Abc_Obj_t * pFanin; in Abc_NtkToBarBufsCollect_rec() local 428 Abc_Obj_t * pObj, * pFanin; in Abc_NtkBarBufsToBuffers() local 465 Abc_Obj_t * pObj, * pFanin, * pLatch; in Abc_NtkBarBufsFromBuffers() local
|
H A D | abcMinBase.c | 274 int Abc_NodeCheckDupFanin( Abc_Obj_t * pFanin, Abc_Obj_t * pFanout, int * piFanin ) in Abc_NodeCheckDupFanin() 299 int Abc_NodeCollapseSuppSize( Abc_Obj_t * pFanin, Abc_Obj_t * pFanout, Vec_Ptr_t * vFanins ) in Abc_NodeCollapseSuppSize() 323 int Abc_ObjFaninNumberNew( Vec_Ptr_t * vFanins, Abc_Obj_t * pFanin ) in Abc_ObjFaninNumberNew() 346 Abc_Obj_t * pFanin; in Abc_NodeCollapsePermMap() local 374 DdNode * Abc_NodeCollapseFunc( Abc_Obj_t * pFanin, Abc_Obj_t * pFanout, Vec_Ptr_t * vFanins, int * … in Abc_NodeCollapseFunc() 409 int Abc_NodeCollapse( Abc_Obj_t * pFanin, Abc_Obj_t * pFanout, Vec_Ptr_t * vFanins, int * pPermFani… in Abc_NodeCollapse() 512 int Abc_NodeCountAppearances( Abc_Obj_t * pFanin, Abc_Obj_t * pFanout ) in Abc_NodeCountAppearances() 539 Hop_Obj_t * Abc_NodeCollapseFunc1( Abc_Obj_t * pFanin, Abc_Obj_t * pFanout, Vec_Ptr_t * vFanins, in… in Abc_NodeCollapseFunc1() 564 int Abc_NodeCollapse1( Abc_Obj_t * pFanin, Abc_Obj_t * pFanout, Vec_Ptr_t * vFanins, int * pPermFan… in Abc_NodeCollapse1()
|
H A D | abcRefs.c | 217 Abc_Obj_t * pFanin; in Abc_NodeDeref_rec() local 243 Abc_Obj_t * pFanin; in Abc_NodeRef_rec() local 268 Abc_Obj_t * pFanin; in Abc_NodeMffcConeSupp_rec() local 410 Abc_Obj_t * pFanin; in Abc_NodeMffcLabel_rec() local
|
H A D | abcDfs.c | 48 Abc_Obj_t * pFanin; in Abc_NtkDfs_rec() local 403 Abc_Obj_t * pFanin; in Abc_NtkDfsSeq_rec() local 517 Abc_Obj_t * pNode, * pFanin; in Abc_NtkDfs_iter() local 640 Abc_Obj_t * pFanin; in Abc_NtkDfsHie_rec() local 779 Abc_Obj_t * pFanin; in Abc_NtkDfsWithBoxes_rec() local 828 Abc_Obj_t * pFanin; in Abc_NtkNodeSupport_rec() local 920 Abc_Obj_t * pFanin; in Abc_NtkNodeSupportInt_rec() local 1073 Abc_Obj_t * pFanin; in Abc_ObjSuppSize_rec() local 1164 Abc_Obj_t * pFanin; in Abc_AigDfs_rec() local 1533 Abc_Obj_t * pFanin; in Abc_NtkIsAcyclic_rec() local [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
H A D | mfsResub.c | 47 Abc_Obj_t * pObjNew, * pFanin; in Abc_NtkMfsUpdateNetwork() local 74 Abc_Obj_t * pFanin, * pNode; in Abc_NtkMfsPrintResubStats() local 172 Abc_Obj_t * pFanin; in Abc_NtkMfsSolveSatResub() local 326 Abc_Obj_t * pFanin; in Abc_NtkMfsSolveSatResub2() local 490 Abc_Obj_t * pFanin; in Abc_NtkMfsEdgeSwapEval() local 510 Abc_Obj_t * pFanin; in Abc_NtkMfsEdgePower() local 541 Abc_Obj_t * pFanin; in Abc_NtkMfsResubNode() local 587 Abc_Obj_t * pFanin, * pFanin2; in Abc_NtkMfsResubNode2() local
|
H A D | mfsResub_.c | 47 Abc_Obj_t * pObjNew, * pFanin; in Abc_NtkMfsUpdateNetwork() local 74 Abc_Obj_t * pFanin, * pNode; in Abc_NtkMfsPrintResubStats() local 148 Abc_Obj_t * pFanin; in Abc_NtkMfsSolveSatResub() local 298 Abc_Obj_t * pFanin; in Abc_NtkMfsSolveSatResub2() local 442 Abc_Obj_t * pFanin; in Abc_NtkMfsEdgeSwapEval() local 462 Abc_Obj_t * pFanin; in Abc_NtkMfsEdgePower() local 488 Abc_Obj_t * pFanin; in Abc_NtkMfsResubNode() local 532 Abc_Obj_t * pFanin, * pFanin2; in Abc_NtkMfsResubNode2() local
|
H A D | mfsDiv.c | 47 Abc_Obj_t * pFanin; in Abc_MfsWinMarkTfi_rec() local 120 Abc_Obj_t * pFanin; in Abc_MfsNodeDeref_rec() local 147 Abc_Obj_t * pFanin; in Abc_MfsNodeRef_rec() local 196 Abc_Obj_t * pObj, * pFanout, * pFanin; in Abc_MfsComputeDivisors() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/ |
H A D | resDivs.c | 50 Abc_Obj_t * pObj, * pFanout, * pFanin; in Res_WinDivisors() local 152 Abc_Obj_t * pFanin; in Res_WinMarkTfi_rec() local 222 Abc_Obj_t * pFanin; in Res_NodeDeref_rec() local 249 Abc_Obj_t * pFanin; in Res_NodeRef_rec() local
|
H A D | resFilter.c | 51 Abc_Obj_t * pFanin, * pFanin2, * pFaninTemp; in Res_FilterCandidates() local 243 Abc_Obj_t * pFanin; in Res_FilterCandidatesArea() local 385 Abc_Obj_t * pFanin; in Res_FilterCollectFaninInfo() local 412 Abc_Obj_t * pFanin; in Res_FilterCriticalFanin() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
H A D | wlcWin.c | 80 Wlc_Obj_t * pFanin; int i; in Wlc_ObjHasArithmFanins() local 89 Wlc_Obj_t * pFanin; int i; in Wlc_WinCompute_rec() local 104 Wlc_Obj_t * pFanin; int i; in Wlc_WinCleanMark_rec() local 122 Wlc_Obj_t * pFanin; int i; in Wlc_WinCompute() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
H A D | ifReduce.c | 109 If_Obj_t * pFanin; in If_ManImproveCutCost() local 130 If_Obj_t * pFanin; in If_ManImproveNodeExpand() local 239 If_Obj_t * pFanin; in If_ManImproveNodeUpdate() local 315 If_Obj_t * pFanin; in If_ManImproveNodeFaninUpdate() local 347 If_Obj_t * pFanin; in If_ManImproveNodeFaninCompact0() local 377 If_Obj_t * pFanin; in If_ManImproveNodeFaninCompact1() local 405 If_Obj_t * pFanin; in If_ManImproveNodeFaninCompact2() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
H A D | nwkFanio.c | 47 Nwk_Obj_t * pFanin; in Nwk_ObjCollectFanins() local 85 int Nwk_ObjFindFanin( Nwk_Obj_t * pObj, Nwk_Obj_t * pFanin ) in Nwk_ObjFindFanin() 165 void Nwk_ObjAddFanin( Nwk_Obj_t * pObj, Nwk_Obj_t * pFanin ) in Nwk_ObjAddFanin() 192 void Nwk_ObjDeleteFanin( Nwk_Obj_t * pObj, Nwk_Obj_t * pFanin ) in Nwk_ObjDeleteFanin()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/fpga/ |
H A D | fpgaFanout.c | 45 void Fpga_NodeAddFaninFanout( Fpga_Node_t * pFanin, Fpga_Node_t * pFanout ) in Fpga_NodeAddFaninFanout() 101 void Fpga_NodeRemoveFaninFanout( Fpga_Node_t * pFanin, Fpga_Node_t * pFanoutToRemove ) in Fpga_NodeRemoveFaninFanout()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mapper/ |
H A D | mapperFanout.c | 45 void Map_NodeAddFaninFanout( Map_Node_t * pFanin, Map_Node_t * pFanout ) in Map_NodeAddFaninFanout() 101 void Map_NodeRemoveFaninFanout( Map_Node_t * pFanin, Map_Node_t * pFanoutToRemove ) in Map_NodeRemoveFaninFanout()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaSat.c | 119 Gia_Obj_t * pFanin; in Gia_ManSatPartCollectSuper() local 147 Gia_Obj_t * pFanin; in Gia_ManSatPartCreate_rec() local 207 Gia_Obj_t * pFanin; in Gia_ManSatPartCountClauses() local 253 Gia_Obj_t * pFanin; in Gia_ManSatPartCount() local 284 Gia_Obj_t * pFanin; in Gia_ManSatPartCountNodes() local 310 Gia_Obj_t * pFanin; in Gia_ManSatPartPrint() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcDebug.c | 118 Abc_Obj_t * pObj, * pFanin; in Abc_NtkCountFaninsTotal() local 147 Abc_Obj_t * pObj, * pFanin; in Abc_NtkFindGivenFanin() local 183 Abc_Obj_t * pObj, * pFanin, * pConst; in Abc_NtkAutoDebugModify() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/ |
H A D | fraigFanout.c | 45 void Fraig_NodeAddFaninFanout( Fraig_Node_t * pFanin, Fraig_Node_t * pFanout ) in Fraig_NodeAddFaninFanout() 101 void Fraig_NodeRemoveFaninFanout( Fraig_Node_t * pFanin, Fraig_Node_t * pFanoutToRemove ) in Fraig_NodeRemoveFaninFanout()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/cov/ |
H A D | covBuild.c | 48 Abc_Obj_t * pNodeNew, * pFanin; in Abc_NtkCovDeriveCube() local 106 Abc_Obj_t * pFaninNew, * pNodeNew, * pFanin; in Abc_NtkCovDeriveNode_rec() local 248 Abc_Obj_t * pNodeNew, * pFanin; in Abc_NtkCovDeriveCubeInv() local 303 Abc_Obj_t * pFaninNew, * pNodeNew, * pFanin; in Abc_NtkCovDeriveNodeInv_rec() local 400 Abc_Obj_t * pNodeNew, * pFanin; in Abc_NtkCovDerive_rec() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
H A D | absRefSelect.c | 73 Gia_Obj_t * pObj, * pFanin; in Ga2_StructAnalize() local 130 Gia_Obj_t * pObj, * pFanin; in Rnm_ManFilterSelected() local 212 Gia_Obj_t * pObj, * pFanin, * pFanin2; in Rnm_ManFilterSelectedNew() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
H A D | ioReadBblif.c | 59 Bbl_Obj_t * pObj, * pFanin; in Bbl_ManToAbc() local 107 Bbl_Obj_t * pFanin; in Bbl_ManDfs_rec() local 164 Bbl_Obj_t * pObj, * pFanin; in Bbl_ManToAig() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
H A D | lpkCut.c | 89 Abc_Obj_t * pObj, * pFanin; in Lpk_CutTruthBdd() local 180 Abc_Obj_t * pFanin; in Lpk_CutTruth() local 277 Abc_Obj_t * pObj, * pFanin; in Lpk_NodeCutsCheckDsd() local 480 Abc_Obj_t * pObj, * pFanin; in Lpk_NodeCutsOne() local 590 Abc_Obj_t * pObj, * pFanin; in Lpk_CountSupp() local
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
H A D | aigScl.c | 241 Aig_Obj_t * pObj, * pFanin; in Aig_ManCountMergeRegs() local 278 Aig_Obj_t * pObj, * pFanin; in Aig_ManReduceLachesCount() local 326 Aig_Obj_t * pObj, * pObjLi, * pObjLo, * pFanin; in Aig_ManReduceLachesOnce() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/ |
H A D | amapMatch.c | 147 Amap_Obj_t * pFanin; in Amap_ManComputeMapping_rec() local 277 Amap_Obj_t * pFanin; in Amap_CutAreaDeref() local 304 Amap_Obj_t * pFanin; in Amap_CutAreaRef2() local 361 Amap_Obj_t * pFanin; in Amap_CutAreaRef() local 445 Amap_Obj_t * pFanin; in Amap_ManMatchGetFlows() local 488 Amap_Obj_t * pFanin; in Amap_ManMatchGetExacts() local
|