| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaBalMap.c | 57 void Gia_ManPrepareWin( Gia_Man_t * p, Vec_Int_t * vOuts, Vec_Int_t ** pvPis, Vec_Int_t ** pvPos, V… in Gia_ManPrepareWin()
114 Gia_Man_t * Gia_ManExtractWin( Gia_Man_t * p, Vec_Int_t * vOuts, int fPoOnly ) in Gia_ManExtractWin()
136 Gia_Man_t * Gia_ManInsertWin( Gia_Man_t * p, Vec_Int_t * vOuts, Gia_Man_t * pWin ) in Gia_ManInsertWin()
189 Vec_Int_t * vOuts; in Gia_ManFindLatest() local
238 Vec_Int_t * vOuts; in Gia_ManExtractWindow() local
267 Vec_Int_t * vOuts; in Gia_ManPerformSopBalanceWin() local
300 Vec_Int_t * vOuts; in Gia_ManPerformDsdBalanceWin() local
|
| H A D | giaGig.c | 268 … Vec_Int_t * vOuts = Vec_WecEntry( p->vDelayOuts, Vec_IntEntry(p->vIndexes, Entry) ); in Gls_ManParse() local
340 Vec_Int_t * vOuts = Vec_WecPushLevel( p->vDelayOuts ); in Gls_ManParse() local
|
| H A D | giaFrames.c | 37 Vec_Ptr_t * vOuts; // outputs of each timeframe member
692 Vec_Int_t * vIns = NULL, * vAnds, * vOuts; in Gia_ManFraSupports() local
733 Vec_Int_t * vIns, * vAnds, * vOuts; in Gia_ManFramesInit() local
|
| H A D | giaCone.c | 277 int Gia_ManCountFlops( Gia_Man_t * p, Vec_Int_t * vOuts ) in Gia_ManCountFlops()
|
| H A D | giaHash.c | 809 int Gia_ManHashDualMiter( Gia_Man_t * p, Vec_Int_t * vOuts ) in Gia_ManHashDualMiter()
|
| H A D | giaExist.c | 295 Vec_Int_t * vOuts, * vOuts2, * vCis; in Gia_ManQuantExist2() local
|
| H A D | giaSweeper.c | 1156 Vec_Int_t * vOuts; in Gia_SweeperFraigTest() local
|
| H A D | giaUtil.c | 1854 Vec_Int_t * vOuts; in Gia_ManGroupProve() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigConstr.c | 285 Vec_Ptr_t * vOuts, * vCons, * vCons0; in Saig_ManDupUnfoldConstrs() local
471 Vec_Ptr_t * vOuts, * vCons; in Saig_ManDetectConstrTest() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
| H A D | mfsStrash.c | 238 Vec_Int_t * vOuts; in Abc_NtkConstructAig() local
330 Vec_Int_t * vOuts; in Abc_NtkAigForConstraints() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acecPa.c | 176 …teCuts( Gia_Man_t * p, Vec_Int_t * vAdds, Vec_Int_t * vOrder, Vec_Int_t * vIns, Vec_Int_t * vOuts ) in Pas_ManComputeCuts()
253 Vec_Int_t * vIns, * vOuts; in Pas_ManComputeCutsTest() local
|
| H A D | acecPool.c | 259 Vec_Int_t * vOuts = Vec_WecEntry( vBoxSets, 5*i+4 ); in Acec_ManCollectBoxSets() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcBmcAnd.c | 426 …Man_t * Gia_ManBmcDupCone( Gia_Man_t * p, Vec_Int_t * vIns, Vec_Int_t * vNodes, Vec_Int_t * vOuts ) in Gia_ManBmcDupCone()
467 int Gia_ManBmcAssignVarIds( Bmc_Mna_t * p, Vec_Int_t * vIns, Vec_Int_t * vUsed, Vec_Int_t * vOuts ) in Gia_ManBmcAssignVarIds()
500 …cAddCnf( Bmc_Mna_t * p, Gia_Man_t * pGia, Vec_Int_t * vIns, Vec_Int_t * vNodes, Vec_Int_t * vOuts ) in Gia_ManBmcAddCnf()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/ |
| H A D | sscCore.c | 437 Vec_Int_t * vOuts = Vec_IntStartNatural( Gia_ManPoNum(p) ); in Ssc_PerformSweepingConstr() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/ |
| H A D | resInt.h | 88 Vec_Ptr_t * vOuts; // output simulation info member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
| H A D | llbInt.h | 99 Vec_Ptr_t * vOuts; // output AIG objs member
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/ |
| H A D | darLib.c | 277 void Dar_LibSetup( Dar_Lib_t * p, Vec_Int_t * vOuts, Vec_Int_t * vPrios ) in Dar_LibSetup()
554 Vec_Int_t * vObjs, * vOuts, * vPrios; in Dar_LibRead() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/ |
| H A D | cgtAig.c | 370 Vec_Int_t * vOuts; in Cgt_ManConstructCare() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
| H A D | ioReadPlaMo.c | 724 Vec_Wec_t * vOuts = Vec_WecStart( p->nOuts ); in Mop_ManCubeCount() local
740 Vec_Wec_t * vOuts = Mop_ManCubeCount( p ); // cube count for each output in Mop_ManDerive() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/ |
| H A D | darLib.c | 284 void Dar_LibSetup( Dar_Lib_t * p, Vec_Int_t * vOuts, Vec_Int_t * vPrios ) in Dar_LibSetup()
561 Vec_Int_t * vObjs, * vOuts, * vPrios; in Dar_LibRead() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
| H A D | acbFunc.c | 1973 Vec_Str_t * Acb_GenerateInstance2( Vec_Ptr_t * vIns, Vec_Ptr_t * vOuts ) in Acb_GenerateInstance2()
1986 Vec_Ptr_t * Acb_GenerateSignalNames2( Vec_Wec_t * vGates, Vec_Ptr_t * vIns, Vec_Ptr_t * vOuts ) in Acb_GenerateSignalNames2()
2012 Vec_Str_t * Acb_GeneratePatch2( Gia_Man_t * pGia, Vec_Ptr_t * vIns, Vec_Ptr_t * vOuts ) in Acb_GeneratePatch2()
2078 void Acb_GenerateFile2( Gia_Man_t * pGia, Vec_Ptr_t * vIns, Vec_Ptr_t * vOuts, char * pFileName, ch… in Acb_GenerateFile2()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcPart.c | 877 void Abc_NtkConvertCos( Abc_Ntk_t * pNtk, Vec_Int_t * vOuts, Vec_Ptr_t * vOutsPtr ) in Abc_NtkConvertCos()
|
| H A D | abcMffc.c | 1030 Vec_Int_t * vIns2, * vOuts, * vOuts2, * vTemp; in Abc_NktMffcFindBest() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigPart.c | 1254 Vec_Ptr_t * vOutsTotal, * vOuts; in Aig_ManChoicePartitioned() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
| H A D | wlcBlast.c | 1993 Vec_Int_t * vOuts = Vec_IntAlloc( 100 ); in Wlc_NtkBitBlast() local
|