Home
last modified time | relevance | path

Searched defs:vInit (Results 1 – 21 of 21) sorted by path

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaRex.c208 Vec_Str_t * vInit; in Gia_ManRex2Gia() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigDup.c482 Aig_Man_t * Saig_ManDupWithPhase( Aig_Man_t * pAig, Vec_Int_t * vInit ) in Saig_ManDupWithPhase()
H A DsaigRetMin.c53 Vec_Int_t * vCiIds, * vInit = NULL; in Saig_ManRetimeInitState() local
340 Aig_Man_t * Saig_ManRetimeDupBackward( Aig_Man_t * p, Vec_Ptr_t * vCut, Vec_Int_t * vInit ) in Saig_ManRetimeDupBackward()
571 Vec_Int_t * vInit; in Saig_ManRetimeMinAreaBackward() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dabc.c22669 Vec_Int_t * vInit = (Vec_Int_t *)pAbc->pNtkCur->pData; in Abc_CommandSim3() local
H A DabcIvy.c120 Vec_Int_t * vInit = Abc_NtkCollectLatchValuesIvy( pNtk, fUseDc ); in Abc_NtkIvyBefore() local
638 Vec_Int_t * vInit = Abc_NtkCollectLatchValuesIvy( pNtk, 0 ); in Abc_NtkIvy() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cba/
H A DcbaBlast.c601 Vec_Str_t * vInit = fSeq ? Vec_StrAlloc(100) : NULL; in Cba_NtkBlast() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcNtk.c864 Vec_Int_t * Wlc_ReduceMarkedInitVec( Wlc_Ntk_t * p, Vec_Int_t * vInit ) in Wlc_ReduceMarkedInitVec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsOut.c253 Vec_Int_t * vInit = Vec_IntAlloc( Gia_ManRegNum(pAig) ); in Gia_ManGetStateAndCheckCex() local
340 Gia_Man_t * Gia_ManTransformFlops( Gia_Man_t * p, Vec_Int_t * vFlops, Vec_Int_t * vInit ) in Gia_ManTransformFlops()
376 Vec_Int_t * vFlops, * vInit; in Gia_ManNewRefine() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/
H A DsscSat.c325 Vec_Int_t * vInit; in Ssc_ManFindPivotSat() local
H A DsscSim.c310 Vec_Int_t * vInit; in Ssc_GiaGetOneSim() local
325 Vec_Int_t * vInit; in Ssc_GiaFindPivotSim() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswRarity.c415 void Ssw_RarManInitialize( Ssw_RarMan_t * p, Vec_Int_t * vInit ) in Ssw_RarManInitialize()
651 void Ssw_RarManSimulate( Ssw_RarMan_t * p, Vec_Int_t * vInit, int fUpdate, int fFirst ) in Ssw_RarManSimulate()
888 Vec_Int_t * vInit; in Ssw_RarFindStartingState() local
H A DsswRarity2.c259 Vec_Int_t * vInit; in Ssw_RarFindStartingState() local
H A DsswSim.c928 void Ssw_SmlInitializeSpecial( Ssw_Sml_t * p, Vec_Int_t * vInit ) in Ssw_SmlInitializeSpecial()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcBmci.c330 int Gia_ManBmciTest( Gia_Man_t * p, Vec_Int_t * vInit, int nFrames, int nWords, int nTimeOut, int f… in Gia_ManBmciTest()
H A DbmcInse.c52 void Gia_ManInseInit( Gia_Man_t * p, Vec_Int_t * vInit ) in Gia_ManInseInit()
198 void Gia_ManInseFindStarting( Gia_Man_t * p, int iPat, Vec_Int_t * vInit, Vec_Int_t * vInputs ) in Gia_ManInseFindStarting()
231 … * Gia_ManInseSimulate( Gia_Man_t * p, Vec_Int_t * vInit0, Vec_Int_t * vInputs, Vec_Int_t * vInit ) in Gia_ManInseSimulate()
279 Vec_Int_t * vRes, * vInit, * vInputs; in Gia_ManInsePerform() local
330 Vec_Int_t * vRes, * vInit; in Gia_ManInseTest() local
H A DbmcMaxi.c69 Gia_Man_t * Gia_ManMaxiUnfold( Gia_Man_t * p, int nFrames, int fUseVars, Vec_Int_t * vInit ) in Gia_ManMaxiUnfold()
136 Vec_Int_t * Gia_ManMaxiPerform( Gia_Man_t * p, Vec_Int_t * vInit, int nFrames, int nTimeOut, int fV… in Gia_ManMaxiPerform()
268 Vec_Int_t * vRes, * vInit; in Gia_ManMaxiTest() local
/dports/cad/gmsh/gmsh-4.9.2-source/contrib/QuadMeshingTools/
H A DqmtMeshGeometryOptimization.cpp2352 std::vector<SPoint3> vInit; in smoothWithWinslowUntangler() local
/dports/editors/libreoffice/libreoffice-7.2.6.2/include/comphelper/
H A Dpropertysequence.hxx23 inline css::uno::Sequence< css::beans::PropertyValue > InitPropertySequence( in InitPropertySequence()
39 inline css::uno::Sequence< css::uno::Any > InitAnyPropertySequence( in InitAnyPropertySequence()
/dports/editors/libreoffice6/libreoffice-6.4.7.2/include/comphelper/
H A Dpropertysequence.hxx22 inline css::uno::Sequence< css::beans::PropertyValue > InitPropertySequence( in InitPropertySequence()
42 inline css::uno::Sequence< css::uno::Any > InitAnyPropertySequence( in InitAnyPropertySequence()
/dports/games/avanor/avanor-0.5.8/global/
H A Dglobal.cpp63 void vInit() in vInit() function
/dports/science/jdftx/jdftx-1.6.0/jdftx/core/
H A DWignerSeitz.cpp38 Vertex* vInit[2][2][2]; in WignerSeitz() local