| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acecUtil.c | 65 Vec_IntReverseOrder( vXors ); in Gia_PolynCollectLastXor()
|
| H A D | acecOrder.c | 182 Vec_IntReverseOrder( vRecord ); in Gia_PolynFindOrder()
|
| H A D | acecCo.c | 76 Vec_IntReverseOrder( vNewOuts ); in Gia_PolynAddHaRoots()
|
| H A D | acecFadds.c | 526 Vec_IntReverseOrder( vChain ); in Gia_ManCollectOneChain()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaForce.c | 721 Vec_IntReverseOrder( vOrder ); in Frc_ManCrossCutTest()
724 Vec_IntReverseOrder( vOrder ); in Frc_ManCrossCutTest()
857 Vec_IntReverseOrder( vCoOrder ); in Frc_ManPlaceDfsBoth()
861 Vec_IntReverseOrder( vCoOrder ); // undo in Frc_ManPlaceDfsBoth()
869 Vec_IntReverseOrder( vCoOrder ); // undo in Frc_ManPlaceDfsBoth()
|
| H A D | giaPack.c | 77 Vec_IntReverseOrder( vOrder ); in Gia_ManLutCollect2()
|
| H A D | giaCex.c | 479 if ( n ) Vec_IntReverseOrder( vLits ); in Gia_ManMinCex()
561 if ( n ) Vec_IntReverseOrder( vLits ); in Bmc_CexCareSatBasedMinimizeAig()
|
| H A D | giaEra.c | 411 Vec_IntReverseOrder( vTrace ); in Gia_ManCollectBugTrace()
|
| H A D | giaFx.c | 156 Vec_IntReverseOrder( &vLeaves ); in Gia_ManComputeTruths()
|
| H A D | giaSweep.c | 281 Vec_IntReverseOrder( vBoxPres ); in Gia_ManFraigCreateGia()
|
| H A D | giaEdge.c | 622 Vec_IntReverseOrder( vTemp ); in Gia_ManEvalWindowInc()
|
| H A D | giaSimBase.c | 519 Vec_IntReverseOrder( p->vTfo ); in Gia_SimRsbTfo()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
| H A D | wlcWin.c | 148 Vec_IntReverseOrder( vNodes ); in Wlc_WinProfileArith()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/mem/ |
| H A D | mem2.h | 189 Vec_IntReverseOrder( &p->vFrees ); in Mmr_FixedFetch()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcDress3.c | 233 Vec_IntReverseOrder( vClass ); in Abc_NtkCollectEquivClasses()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mio/ |
| H A D | exp.h | 126 Vec_IntReverseOrder( p ); in Exp_Reverse()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/scl/ |
| H A D | sclBuffer.c | 607 Vec_IntReverseOrder( p->vTfCone ); in Abc_BufUpdateArr()
652 Vec_IntReverseOrder( p->vTfCone ); in Abc_BufUpdateDep()
|
| H A D | sclUpsize.c | 78 Vec_IntReverseOrder( vNodes ); in Abc_SclFindTFO()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcICheck.c | 437 Vec_IntReverseOrder( vRegs ); in Bmc_PerformISearchOne()
|
| H A D | bmcMaj3.c | 95 Vec_IntReverseOrder( vLevels ); in Maj3_ManFirstAndLevel()
102 Vec_IntReverseOrder( vLevels ); in Maj3_ManFirstAndLevel()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
| H A D | pdrTsim2.c | 322 Vec_IntReverseOrder( vRes ); in Txs_ManSelectJustPath()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
| H A D | acbMfs.c | 644 Vec_IntReverseOrder( vTfo ); in Acb_ObjDeriveTfo()
645 Vec_IntReverseOrder( vRoots ); in Acb_ObjDeriveTfo()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cba/ |
| H A D | cbaReadVer.c | 1535 Vec_IntReverseOrder( vSigs ); in Prs_CreateSignalOut()
1574 Vec_IntReverseOrder( vSigs ); in Prs_CreateSignalOut()
|
| H A D | cbaBlast.c | 582 Vec_IntReverseOrder( vRes ); in Cba_BlastSqrt()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/ |
| H A D | vecInt.h | 1116 static inline void Vec_IntReverseOrder( Vec_Int_t * p ) in Vec_IntReverseOrder() function
|