| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
| H A D | ioJson.c | 35 static inline Vec_Int_t * Json_EntryNode( Vec_Wec_t * vObjs, int Fan ) { assert(!Json_EntryIsNam… in Json_EntryNode()
77 void Json_Extract_rec( FILE * pFile, Abc_Nam_t * pStr, Vec_Wec_t * vObjs, Vec_Int_t * vArray, int f… in Json_Extract_rec()
151 void Json_Extract( char * pFileName, Abc_Nam_t * pStr, Vec_Wec_t * vObjs ) in Json_Extract()
221 void Json_Write_rec( FILE * pFile, Abc_Nam_t * pStr, Vec_Wec_t * vObjs, Vec_Int_t * vArray, int Lev… in Json_Write_rec()
269 void Json_Write( char * pFileName, Abc_Nam_t * pStr, Vec_Wec_t * vObjs ) in Json_Write()
310 Vec_Wec_t * vObjs; in Json_Read() local
400 Vec_Wec_t * vObjs; in Json_ReadTest() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaMan.c | 293 void Gia_ManPrintTents_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vObjs ) in Gia_ManPrintTents_rec()
307 Vec_Int_t * vObjs; in Gia_ManPrintTents() local
885 void Gia_ManDfsCollect_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vObjs ) in Gia_ManDfsCollect_rec()
947 Vec_Int_t * vObjs = Vec_IntAlloc( Gia_ManObjNum(p) ); in Gia_ManDfsCollect() local
968 Vec_Int_t * Gia_ManDfsArrivals( Gia_Man_t * p, Vec_Int_t * vObjs ) in Gia_ManDfsArrivals()
1049 Vec_Int_t * Gia_ManDfsRequireds( Gia_Man_t * p, Vec_Int_t * vObjs, int ReqTime ) in Gia_ManDfsRequireds()
1125 Vec_Int_t * vObjs = Gia_ManDfsCollect( p ); in Gia_ManDfsSlacks() local
1250 …iteNames( FILE * pFile, char c, int n, Vec_Ptr_t * vNames, int Start, int Skip, Vec_Bit_t * vObjs ) in Gia_ManWriteNames()
1271 void Gia_ManDumpVerilog( Gia_Man_t * p, char * pFileName, Vec_Int_t * vObjs ) in Gia_ManDumpVerilog()
|
| H A D | giaDfs.c | 469 void Gia_ManCollectSeq_rec( Gia_Man_t * p, int Id, Vec_Int_t * vRoots, Vec_Int_t * vObjs ) in Gia_ManCollectSeq_rec()
493 Vec_Int_t * vObjs, * vRoots; in Gia_ManCollectSeq() local
512 Vec_Int_t * vObjs; in Gia_ManCollectSeqTest() local
|
| H A D | giaSupp.c | 43 Vec_Int_t * vObjs[2]; member
217 …ic inline int Gia_ManGatherSupp_rec( Gia_Man_t * p, int iObj, Vec_Int_t * vCis, Vec_Int_t * vObjs ) in Gia_ManGatherSupp_rec()
343 Vec_Int_t * vObjs[2]; member
767 …nline int Gia_Min2ManGatherSupp_rec( Gia_Man_t * p, int iObj, Vec_Int_t * vCis, Vec_Int_t * vObjs ) in Gia_Min2ManGatherSupp_rec()
|
| H A D | giaFalse.c | 179 Vec_Int_t * vObjs = Gia_ManCollectNodesCis( p, &iFanin, 1 ); in Gia_ManCheckFalseOne() local
368 Vec_Int_t * vObjs = Gia_ManCollectNodesCis( p, &iObj, 1 ); in Gia_ManCheckOne() local
|
| H A D | giaSim.c | 1072 int Gia_ManObjCheckSat_rec( Gia_Man_t * p, int iLit, Vec_Int_t * vObjs ) in Gia_ManObjCheckSat_rec()
1095 int Gia_ManObjCheckOverlap1( Gia_Man_t * p, int iLit0, int iLit1, Vec_Int_t * vObjs ) in Gia_ManObjCheckOverlap1()
1109 int Gia_ManObjCheckOverlap( Gia_Man_t * p, int iLit0, int iLit1, Vec_Int_t * vObjs ) in Gia_ManObjCheckOverlap()
|
| H A D | giaExist.c | 199 …ia_Man_t * pNew, Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vCis, Vec_Int_t * vObjs, int(*pFuncC… in Gia_ManQuantDupConeSupp_rec()
235 Vec_Int_t * vObjs = Vec_IntAlloc( 1000 ); in Gia_ManQuantDupConeSupp() local
|
| H A D | giaUtil.c | 780 Vec_Ptr_t * vObjs; in Gia_ManBfsForCrossCut() local
1453 void Gia_ManPrintConeMulti( Gia_Man_t * p, Vec_Int_t * vObjs, Vec_Int_t * vLeaves, Vec_Int_t * vNod… in Gia_ManPrintConeMulti()
1530 void Gia_ManCollectObjs_rec( Gia_Man_t * p, int iObjId, Vec_Int_t * vObjs, int Limit ) in Gia_ManCollectObjs_rec()
1556 Vec_Int_t * vObjs; in Gia_ManComputePoTruthTables() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cba/ |
| H A D | cbaNtk.c | 428 void Cba_NtkObjOrder( Cba_Ntk_t * p, Vec_Int_t * vObjs, Vec_Int_t * vNameIds ) in Cba_NtkObjOrder()
603 int Cba_NtkFindMissing( Vec_Int_t * vObjs, int nObjs ) in Cba_NtkFindMissing()
630 void Cba_NtkCollectDfs_rec( Cba_Ntk_t * p, int iObj, Vec_Int_t * vObjs ) in Cba_NtkCollectDfs_rec()
643 Vec_Int_t * vObjs = Vec_IntAlloc( Cba_NtkObjNum(p) ); in Cba_NtkCollectDfs() local
855 Vec_Int_t * Cba_NtkCollectInFons( Cba_Ntk_t * p, Vec_Int_t * vObjs ) in Cba_NtkCollectInFons()
876 Vec_Int_t * Cba_NtkCollectOutFons( Cba_Ntk_t * p, Vec_Int_t * vObjs ) in Cba_NtkCollectOutFons()
900 void Cba_NtkCollectGroupStats( Cba_Ntk_t * p, Vec_Int_t * vObjs, int * pnFins, int * pnFons ) in Cba_NtkCollectGroupStats()
911 void Cba_ManExtractGroupInt( Cba_Ntk_t * pNew, Cba_Ntk_t * p, Vec_Int_t * vObjs, Vec_Int_t * vFonIn… in Cba_ManExtractGroupInt()
959 Cba_Man_t * Cba_ManExtractGroup( Cba_Man_t * p, Vec_Int_t * vObjs ) in Cba_ManExtractGroup()
1110 void Cba_NtkInsertGroup( Cba_Ntk_t * p, Vec_Int_t * vObjs, Cba_Ntk_t * pSyn ) in Cba_NtkInsertGroup()
[all …]
|
| H A D | cbaWriteBlif.c | 168 void Cba_ManWriteBlifArray( FILE * pFile, Cba_Ntk_t * p, Vec_Int_t * vObjs ) in Cba_ManWriteBlifArray()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/ |
| H A D | hopMan.c | 122 Vec_Ptr_t * vObjs; in Hop_ManCleanup() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
| H A D | nwkStrash.c | 101 Vec_Ptr_t * vObjs; in Nwk_ManStrash() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
| H A D | absRef.c | 334 void Rnm_ManCollect_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vObjs, int nAddOn ) in Rnm_ManCollect_rec()
619 void Rnm_ManVerifyUsingTerSim( Gia_Man_t * p, Abc_Cex_t * pCex, Vec_Int_t * vMap, Vec_Int_t * vObjs… in Rnm_ManVerifyUsingTerSim()
|
| H A D | absRefJ.c | 93 Vec_Int_t * vObjs; // internal objects used in value propagation member
266 void Rf2_ManCollect_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vObjs ) in Rf2_ManCollect_rec()
390 void Rf2_ManVerifyUsingTerSim( Gia_Man_t * p, Abc_Cex_t * pCex, Vec_Int_t * vMap, Vec_Int_t * vObjs… in Rf2_ManVerifyUsingTerSim()
|
| H A D | absOldCex.c | 371 void Saig_ManCbaUnrollCollect_rec( Aig_Man_t * pAig, Aig_Obj_t * pObj, Vec_Int_t * vObjs, Vec_Int_t… in Saig_ManCbaUnrollCollect_rec()
404 Vec_Int_t * vRoots, * vObjs; in Saig_ManCbaUnrollWithCex() local
|
| H A D | absOldSat.c | 236 void Saig_ManUnrollCollect_rec( Aig_Man_t * pAig, Aig_Obj_t * pObj, Vec_Int_t * vObjs, Vec_Int_t * … in Saig_ManUnrollCollect_rec()
269 Vec_Int_t * vRoots, * vObjs; in Saig_ManUnrollWithCex() local
|
| H A D | absRef.h | 66 Vec_Int_t * vObjs; // internal objects used in value propagation member
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigMan.c | 293 Vec_Ptr_t * vObjs; in Aig_ManCleanup() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcDetect.c | 391 Vec_Wec_t * Abc_NtkDetectObjClasses( Abc_Ntk_t * pNtk, Vec_Int_t * vObjs, Vec_Wec_t ** pvCos ) in Abc_NtkDetectObjClasses()
464 Vec_Int_t * vObjs; in Abc_NtkDetectClassesTest2() local
1094 Vec_Int_t * vObjs = Vec_IntStart( Abc_NtkObjNumMax(pNtk) ); in Abc_NtkFinComputeTypes() local
1102 Vec_Int_t * vObjs = Vec_IntAlloc( 100 ); in Abc_NtkFinComputeObjects() local
1132 Vec_Int_t * vObjs; // all those objects that have some fin in Abc_NtkDetectFinClasses() local
|
| H A D | abcHaig.c | 48 Vec_Ptr_t * vObjs; in Abc_NtkHaigCollectMembers() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
| H A D | wlcGraft.c | 110 int Wlc_NtkCollectObjs_rec( Wlc_Ntk_t * p, Wlc_Obj_t * pObj, Vec_Int_t * vObjs ) in Wlc_NtkCollectObjs_rec()
125 Vec_Int_t * vObjs = Vec_IntAlloc( 100 ); in Wlc_NtkCollectObjs() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigMan.c | 267 Vec_Ptr_t * vObjs; in Aig_ManCleanup() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigRefSat.c | 236 void Saig_ManUnrollCollect_rec( Aig_Man_t * pAig, Aig_Obj_t * pObj, Vec_Int_t * vObjs, Vec_Int_t * … in Saig_ManUnrollCollect_rec()
269 Vec_Int_t * vRoots, * vObjs; in Saig_ManUnrollWithCex() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/ |
| H A D | vecHash.h | 55 Vec_Int_t * vObjs; // hash objects member
|
| /dports/biology/jalview/jalview/src/jalview/io/vamsas/ |
| H A D | DatastoreItem.java | 411 Vector vObjs = new Vector(); in getjv2vObjs() local
|