/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcRewrite.c | 269 void Abc_ManRewritePrintDivs( Vec_Ptr_t * vDivs, int nLeaves ) in Abc_ManRewritePrintDivs() 319 void Abc_ManShowCutCone_rec( Abc_Obj_t * pNode, Vec_Ptr_t * vDivs ) in Abc_ManShowCutCone_rec() 344 Vec_Ptr_t * vDivs; in Abc_ManShowCutCone() local
|
H A D | abcResub.c | 46 Vec_Ptr_t * vDivs; // the divisors member 568 void Abc_ManResubSimulate( Vec_Ptr_t * vDivs, int nLeaves, Vec_Ptr_t * vSims, int nLeavesMax, int n… in Abc_ManResubSimulate()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/bdc/ |
H A D | bdcSpfd.c | 729 Vec_Wrd_t * vDivs; in Bdc_SpfdReadFiles5() local 761 Vec_Wrd_t * vDivs = Vec_WrdStart( 12776759 ); in Bdc_SpfdReadFiles6() local 807 word Bdc_SpfdFindBest( Vec_Wrd_t * vDivs, Vec_Int_t * vWeights, word F0, word F1, int * pCost ) in Bdc_SpfdFindBest() 872 int Bdc_SpfdDecomposeTestOne( word t, Vec_Wrd_t * vDivs, Vec_Int_t * vWeights ) in Bdc_SpfdDecomposeTestOne() 922 Vec_Wrd_t * vDivs; in Bdc_SpfdDecomposeTest44() local 1087 Vec_Wrd_t * vDivs; in Bdc_SpfdDecomposeTest8() local
|
H A D | bdcCore.c | 147 void Bdc_ManPrepare( Bdc_Man_t * p, Vec_Ptr_t * vDivs ) in Bdc_ManPrepare() 291 …se( Bdc_Man_t * p, unsigned * puFunc, unsigned * puCare, int nVars, Vec_Ptr_t * vDivs, int nNodesM… in Bdc_ManDecompose()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcFx.c | 85 Vec_Int_t * vDivs = Vec_IntAlloc( 100 ); in Tab_TabFindBest() local 329 Vec_Int_t * vCube1, * vCube2, * vDivs; in Div_CubePairs() local 645 void Bmc_FxAddClauses( sat_solver * pSat, Vec_Int_t * vDivs, int iCiVarBeg, int iVarStart ) in Bmc_FxAddClauses() 689 Vec_Int_t * vVar2Sat = Vec_IntAlloc( iCiVarCur-iCiVarBeg ), * vDivs; in Bmc_FxComputeOne() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbFunc.c | 568 Vec_Int_t * vDivs = Vec_IntAlloc( Vec_IntSize(vSupp) ); in Acb_NtkFindDivsCis() local 582 Vec_Int_t * vDivs = Vec_IntAlloc( 1000 ); in Acb_NtkFindDivs() local 650 Vec_Int_t * Acb_NtkFindNodes( Acb_Ntk_t * p, Vec_Int_t * vRoots, Vec_Int_t * vDivs ) in Acb_NtkFindNodes() 718 …k_t * p, Vec_Int_t * vSupp, Vec_Int_t * vNodes, Vec_Int_t * vRoots, Vec_Int_t * vDivs, Vec_Int_t *… in Acb_NtkToGia() 864 Vec_Int_t * Acb_DeriveWeights( Vec_Int_t * vDivs, Acb_Ntk_t * pNtkF ) in Acb_DeriveWeights() 1356 Vec_Int_t * Acb_DerivePatchSupportS( Cnf_Dat_t * pCnf, int nCiTars, int nCoDivs, Vec_Int_t * vDivs,… in Acb_DerivePatchSupportS() 1855 Vec_Str_t * Acb_GenerateInstance( Acb_Ntk_t * p, Vec_Int_t * vDivs, Vec_Int_t * vUsed, Vec_Int_t * … in Acb_GenerateInstance() 1868 Vec_Ptr_t * Acb_GenerateSignalNames( Acb_Ntk_t * p, Vec_Int_t * vDivs, Vec_Int_t * vUsed, int nNode… in Acb_GenerateSignalNames() 1893 Vec_Str_t * Acb_GeneratePatch( Acb_Ntk_t * p, Vec_Int_t * vDivs, Vec_Int_t * vUsed, Vec_Ptr_t * vSo… in Acb_GeneratePatch() 2149 void Acb_PrintPatch( Acb_Ntk_t * pNtkF, Vec_Int_t * vDivs, Vec_Int_t * vUsed, abctime clk ) in Acb_PrintPatch() [all …]
|
H A D | acbMfs.c | 464 void Acb_NtkDivisors_rec( Acb_Ntk_t * p, int iObj, int nTfiLevMin, Vec_Int_t * vDivs ) in Acb_NtkDivisors_rec() 479 Vec_Int_t * vDivs = Vec_IntAlloc( 100 ); in Acb_NtkDivisors() local 542 Vec_Int_t * Acb_ObjMarkTfo( Acb_Ntk_t * p, Vec_Int_t * vDivs, int Pivot, int nTfoLevMax, int nFanMa… in Acb_ObjMarkTfo() 709 Vec_Int_t * Acb_NtkCollectNewTfi( Acb_Ntk_t * p, int Pivot, Vec_Int_t * vDivs, Vec_Int_t * vSide, i… in Acb_NtkCollectNewTfi() 794 Vec_Int_t * vWin, * vDivs, * vMarked, * vTfo, * vRoots, * vSide, * vTfi; in Acb_NtkWindow() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
H A D | mfsDiv.c | 195 Vec_Ptr_t * vCone, * vDivs; in Abc_MfsComputeDivisors() local
|
H A D | mfsInt.h | 62 Vec_Ptr_t * vDivs; // the divisors of the node member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaShrink6.c | 64 Vec_Int_t * vDivs; // divisors member 359 void Shr_ManComputeTruths( Gia_Man_t * p, int nVars, Vec_Int_t * vDivs, Vec_Wrd_t * vDivTruths, Vec… in Shr_ManComputeTruths()
|
H A D | giaBalAig.c | 611 Vec_Int_t * vRefsAnd, * vRefsXor, * vSuper, * vDivs, * vRemap, * vLevRMax; in Dam_ManCreatePairs() local 878 … Dam_ManUpdateNode( Dam_Man_t * p, int iObj, int iLit0, int iLit1, int iLitNew, Vec_Int_t * vDivs ) in Dam_ManUpdateNode() 939 Vec_Int_t * vDivs = p->pGia->vSuper; in Dam_ManUpdate() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/ |
H A D | resInt.h | 64 Vec_Ptr_t * vDivs; // candidate divisors of the node member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
H A D | extraUtilMacc.c | 116 Vec_Wec_t * vDivs = Vec_WecStart( 2*nBits ); in Macc_ConstMultGenerate() local
|
H A D | extraUtilDsd.c | 1195 Vec_Wrd_t * vDivs = Vec_WrdAlloc( 100 ); in Sdm_ManDivTest() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/ |
H A D | plaFxch.c | 56 Vec_Wrd_t vDivs; // extracted divisors member 93 void Fxch_ManWriteBlif( char * pFileName, Vec_Wec_t * vCubes, Vec_Wrd_t * vDivs ) in Fxch_ManWriteBlif()
|
H A D | pla.h | 79 Vec_Int_t vDivs; // divisor definitions member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
H A D | sfmInt.h | 103 Vec_Int_t * vDivs; // divisors member
|