Home
last modified time | relevance | path

Searched refs:vResimConsts (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswDyn.c305 Vec_PtrClear( p->vResimConsts ); in Ssw_ManSweepResimulateDynLocal()
317 Vec_PtrPush( p->vResimConsts, pObj ); in Ssw_ManSweepResimulateDynLocal()
335 Vec_PtrForEachEntry( Aig_Obj_t *, p->vResimConsts, pObj, i ) in Ssw_ManSweepResimulateDynLocal()
349 RetValue1 = Ssw_ClassesRefineConst1Group( p->ppClasses, p->vResimConsts, 1 ); in Ssw_ManSweepResimulateDynLocal()
H A DsswMan.c67 p->vResimConsts = Vec_PtrAlloc( 100 ); in Ssw_ManCreate()
202 Vec_PtrFree( p->vResimConsts ); in Ssw_ManStop()
H A DsswInt.h97 Vec_Ptr_t * vResimConsts; // resimulation constants member