/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abcMinBase.c | 78 Vec_Ptr_t * vFanins; in Abc_NodeMinimumBase() local 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() 344 int Abc_NodeCollapsePermMap( Abc_Obj_t * pNode, Abc_Obj_t * pSkip, Vec_Ptr_t * vFanins, int * pPerm… in Abc_NodeCollapsePermMap() 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() 437 Vec_Ptr_t * vFanouts, * vFanins, * vNodes; in Abc_NtkEliminate() local 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() 604 Vec_Ptr_t * vFanouts, * vFanins, * vNodes; in Abc_NtkEliminate1One() local [all …]
|
H A D | abcObj.c | 737 Abc_Obj_t * Abc_NtkCreateNodeAnd( Abc_Ntk_t * pNtk, Vec_Ptr_t * vFanins ) in Abc_NtkCreateNodeAnd() 769 Abc_Obj_t * Abc_NtkCreateNodeOr( Abc_Ntk_t * pNtk, Vec_Ptr_t * vFanins ) in Abc_NtkCreateNodeOr() 801 Abc_Obj_t * Abc_NtkCreateNodeExor( Abc_Ntk_t * pNtk, Vec_Ptr_t * vFanins ) in Abc_NtkCreateNodeExor()
|
H A D | abcFanOrder.c | 146 Vec_Int_t * vFanins; in Abc_NtkOrderFaninsBySortingColumns() local 235 Vec_Int_t * vFanins; in Abc_NtkOrderFaninsByLitCount() local 310 Vec_Int_t * vFanins; in Abc_NtkOrderFaninsByLitCountAndCubeCount() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
H A D | absRefSelect.c | 72 Vec_Int_t * vFanins; in Ga2_StructAnalize() local 129 Vec_Int_t * vNewPPis, * vFanins; in Rnm_ManFilterSelected() local 211 Vec_Int_t * vNewPPis, * vFanins, * vFanins2; in Rnm_ManFilterSelectedNew() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/ |
H A D | bacWriteBlif.c | 47 static void Psr_ManWriteBlifArray( FILE * pFile, Psr_Ntk_t * p, Vec_Int_t * vFanins ) in Psr_ManWriteBlifArray() 131 void Bac_ManWriteBlifGate( FILE * pFile, Bac_Ntk_t * p, Mio_Gate_t * pGate, Vec_Int_t * vFanins, in… in Bac_ManWriteBlifGate() 139 void Bac_ManWriteBlifArray( FILE * pFile, Bac_Ntk_t * p, Vec_Int_t * vFanins, int iObj ) in Bac_ManWriteBlifArray()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
H A D | sfmNtk.c | 45 void Sfm_CheckConsistency( Vec_Wec_t * vFanins, int nPis, int nPos, Vec_Str_t * vFixed ) in Sfm_CheckConsistency() 76 void Sfm_CreateFanout( Vec_Wec_t * vFanins, Vec_Wec_t * vFanouts ) in Sfm_CreateFanout() 118 void Sfm_CreateLevel( Vec_Wec_t * vFanins, Vec_Int_t * vLevels, Vec_Str_t * vEmpty ) in Sfm_CreateLevel() 167 Sfm_Ntk_t * Sfm_NtkConstruct( Vec_Wec_t * vFanins, int nPis, int nPos, Vec_Str_t * vFixed, Vec_Str_… in Sfm_NtkConstruct()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
H A D | wlcNtk.c | 218 int Wlc_ObjCreate( Wlc_Ntk_t * p, int Type, int Signed, int End, int Beg, Vec_Int_t * vFanins ) in Wlc_ObjCreate() 239 void Wlc_ObjAddFanins( Wlc_Ntk_t * p, Wlc_Obj_t * pObj, Vec_Int_t * vFanins ) in Wlc_ObjAddFanins() 903 void Wlc_ObjCollectCopyFanins( Wlc_Ntk_t * p, int iObj, Vec_Int_t * vFanins ) in Wlc_ObjCollectCopyFanins() 929 int Wlc_ObjDup( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, int iObj, Vec_Int_t * vFanins ) in Wlc_ObjDup() 940 void Wlc_NtkDupDfs_rec( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, int iObj, Vec_Int_t * vFanins ) in Wlc_NtkDupDfs_rec() 960 Vec_Int_t * vFanins; in Wlc_NtkDupDfsSimple() local 989 Vec_Int_t * vFanins; in Wlc_NtkDupDfs() local 1058 Vec_Int_t * vFanins; in Wlc_NtkDupDfsAbs() local 1234 Vec_Int_t * vFanins; in Wlc_NtkDupSingleNodes() local
|
H A D | wlcMem.c | 47 void Wlc_NtkMemBlast_rec( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, int iObj, Vec_Int_t * vFanins ) in Wlc_NtkMemBlast_rec() 138 Vec_Int_t * vFanins; in Wlc_NtkMemBlast() local 295 …DupOneObject( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, Wlc_Obj_t * pObj, int TypeNew, Vec_Int_t * vFanins ) in Wlc_NtkDupOneObject() 313 …er( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, Wlc_Obj_t * pObj, int iFanin, Vec_Int_t * vFanins, int fIsFi ) in Wlc_NtkDupOneBuffer() 329 …CreateFlopOutputs( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, Vec_Int_t * vNodeFrames, Vec_Int_t * vFanins ) in Wlc_NtkAbsCreateFlopOutputs() 359 …pInputs( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, Vec_Int_t * vNodeFrames, Vec_Int_t * vFanins, Vec_Int_t … in Wlc_NtkAbsCreateFlopInputs() 408 …teLogic( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, Vec_Int_t * vNodeFrames, Vec_Int_t * vFanins, Vec_Int_t … in Wlc_NtkAbsCreateLogic() 521 Vec_Int_t * vFanins = Vec_IntAlloc( 100 ); in Wlc_NtkAbstractMemory() local 1293 Vec_Int_t * vFanins = Vec_IntAlloc( 10 ); in Wlc_NtkCreateMemoryConstr() local 1390 Vec_Int_t * vFanins = Vec_IntAlloc( 100 ); in Wlc_NtkAbstractMem() local
|
H A D | wlcNdr.c | 198 Vec_Int_t * vFanins = Vec_IntAlloc( 10 ); in Wlc_NtkToNdr() local 299 void Ndr_ObjReadConstant( Vec_Int_t * vFanins, char * pStr ) in Ndr_ObjReadConstant() 369 Wlc_Obj_t * pObj; Vec_Int_t * vName2Obj, * vFanins = Vec_IntAlloc( 100 ); in Wlc_NtkFromNdr() local
|
H A D | wlcReadVer.c | 41 Vec_Int_t * vFanins; member 578 static inline char * Wlc_PrsReadConstant( Wlc_Prs_t * p, char * pStr, Vec_Int_t * vFanins, int * pR… in Wlc_PrsReadConstant() 632 static inline char * Wlc_PrsReadName( Wlc_Prs_t * p, char * pStr, Vec_Int_t * vFanins ) in Wlc_PrsReadName() 640 Vec_Int_t * vFanins = Vec_IntAlloc(0); in Wlc_PrsReadName() local 672 static inline int Wlc_PrsFindDefinition( Wlc_Prs_t * p, char * pStr, Vec_Int_t * vFanins, int * pXV… in Wlc_PrsFindDefinition() 1287 Vec_Int_t * vFanins = Vec_IntAlloc( 100 ); in Wlc_PrsDerive() local
|
H A D | wlcReadSmt.c | 276 …CreateNodeOld( Wlc_Ntk_t * pNtk, int Type, int fSigned, int Range, Vec_Int_t * vFanins, char * pNa… in Smt_PrsCreateNodeOld() 307 …PrsCreateNode( Wlc_Ntk_t * pNtk, int Type, int fSigned, int Range, Vec_Int_t * vFanins, char * pNa… in Smt_PrsCreateNode() 587 Vec_Int_t * vFanins = Vec_IntAlloc( 10 ); in Smt_PrsBuildConstant() local 711 Vec_Int_t * vFanins = Vec_IntAlloc( 2 ); in Smt_PrsBuildNode() local 729 Vec_Int_t * vFanins = Vec_IntAlloc( 100 ); in Smt_PrsBuildNode() local 1195 Vec_Int_t * vFanins; in Smt_PrsBuild2_rec() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaClp.c | 92 int Gia_ManRebuildIsop( DdManager * dd, DdNode * bLocal, Gia_Man_t * pNew, Vec_Int_t * vFanins, Vec… in Gia_ManRebuildIsop() 148 …anDsd, Dsd_Node_t * pNodeDsd, Gia_Man_t * pNew, DdManager * ddNew, Vec_Int_t * vFanins, Vec_Str_t … in Gia_ManRebuildNode() 218 Vec_Int_t * vFanins; in Gia_ManRebuild() local
|
H A D | giaSatLut.c | 307 int Sbl_ManComputeDelay( Sbl_Man_t * p, int iLut, Vec_Int_t * vFanins ) in Sbl_ManComputeDelay() 316 Vec_Int_t * vFanins; in Sbl_ManCreateTiming() local 458 int Sbl_ManCriticalFanin( Sbl_Man_t * p, int iLut, Vec_Int_t * vFanins ) in Sbl_ManCriticalFanin() 469 Vec_Int_t * vFanins; in Sbl_ManEvaluateMapping() local 736 Gia_Obj_t * pObj; Vec_Int_t * vFanins; in Sbl_ManComputeCuts() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/ |
H A D | resSat.c | 52 void * Res_SatProveUnsat( Abc_Ntk_t * pAig, Vec_Ptr_t * vFanins ) in Res_SatProveUnsat() 144 Vec_Ptr_t * vFanins; in Res_SatSimulateConstr() local
|
H A D | resCore.c | 185 void Res_UpdateNetwork( Abc_Obj_t * pObj, Vec_Ptr_t * vFanins, Hop_Obj_t * pFunc, Vec_Vec_t * vLeve… in Res_UpdateNetwork() 220 Vec_Ptr_t * vFanins; in Abc_NtkResynthesize() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxu/ |
H A D | fxuCreate.c | 58 Vec_Int_t * vFanins; in Fxu_CreateMatrix() local 245 …eMatrixAddCube( Fxu_Matrix * p, Fxu_Cube * pCube, char * pSopCube, Vec_Int_t * vFanins, int * pOrd… in Fxu_CreateMatrixAddCube()
|
H A D | fxu.h | 62 Vec_Ptr_t * vFanins; // the fanins of each node in the network member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/ |
H A D | amapPerm.c | 46 void Amap_LibCollectFanins_rec( Amap_Lib_t * pLib, Amap_Nod_t * pNod, Vec_Int_t * vFanins ) in Amap_LibCollectFanins_rec() 79 Vec_Int_t * vFanins = Vec_IntAlloc( 10 ); in Amap_LibCollectFanins() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/rsb/ |
H A D | rsbInt.h | 60 Vec_Int_t * vFanins; // the result of decomposition member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcMffc.c | 544 Vec_Ptr_t * vRoots, * vFanins, * vFanouts, * vNodes, * vLeaves; in Abc_NktMffcTestSuper() local 894 Vec_Ptr_t * vRoots, * vFanins, * vFanouts, * vVolumes, * vNodes, * vLeaves; in Abc_NktMffcDerive() local 954 void Abc_NktMffcFree( Vec_Ptr_t * vRoots, Vec_Ptr_t * vFanins, Vec_Ptr_t * vFanouts, Vec_Ptr_t * vV… in Abc_NktMffcFree() 1002 Vec_Int_t * Abc_NktMffcSupport( Vec_Ptr_t * vThis, Vec_Ptr_t * vFanins ) in Abc_NktMffcSupport() 1028 …cFindBest( Abc_Ntk_t * pNtk, Vec_Int_t * vMarks, Vec_Int_t * vIns, Vec_Ptr_t * vFanins, Vec_Ptr_t … in Abc_NktMffcFindBest() 1133 Vec_Ptr_t * vPivots, * vFanins, * vFanouts, * vVolumes; in Abc_NktMffcServer() local
|
H A D | abcFxu.c | 236 Vec_Int_t * vFanins; in Abc_NtkFxuReconstruct() local
|
H A D | abcPlace.c | 103 float Abc_PlaceEvaluateCut( Abc_Obj_t * pRoot, Vec_Ptr_t * vFanins ) in Abc_PlaceEvaluateCut()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/ |
H A D | wlnNdr.c | 47 Vec_Int_t * vFanins; in Wln_NtkToNdr() local 185 Vec_Int_t * vName2Obj, * vFanins = Vec_IntAlloc( 100 ); in Wln_NtkFromNdr() local
|
H A D | wlnWlc.c | 76 Vec_Int_t * vFanins = Vec_IntAlloc( 10 ); in Wln_NtkFromWlc() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraCnf.c | 240 Vec_Ptr_t * vFrontier, * vFanins; in Fra_CnfNodeAddToSolver() local
|