Home
last modified time | relevance | path

Searched refs:vClassNew (Results 1 – 13 of 13) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/
H A DdchClass.c146 p->vClassNew = Vec_PtrAlloc( 100 ); in Dch_ClassesStart()
187 if ( p->vClassNew ) Vec_PtrFree( p->vClassNew ); in Dch_ClassesStop()
451 Vec_PtrClear( p->vClassNew ); in Dch_ClassesRefineOneClass()
456 Vec_PtrPush( p->vClassNew, pObj ); in Dch_ClassesRefineOneClass()
458 if ( Vec_PtrSize(p->vClassNew) == 0 ) in Dch_ClassesRefineOneClass()
464 assert( Vec_PtrSize(p->vClassNew) > 0 ); in Dch_ClassesRefineOneClass()
484 if ( Vec_PtrSize(p->vClassNew) > 1 ) in Dch_ClassesRefineOneClass()
577 Vec_PtrClear( p->vClassNew ); in Dch_ClassesRefineConst1Group()
582 if ( Vec_PtrSize(p->vClassNew) == 0 ) in Dch_ClassesRefineConst1Group()
584 p->nCands1 -= Vec_PtrSize(p->vClassNew); in Dch_ClassesRefineConst1Group()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/
H A DsscClass.c168 Vec_IntClear( p->vClassNew ); in Ssc_GiaSimClassRefineOneBit()
176 Vec_IntPush( p->vClassNew, Ent ); in Ssc_GiaSimClassRefineOneBit()
178 if ( Vec_IntSize( p->vClassNew ) == 0 ) in Ssc_GiaSimClassRefineOneBit()
181 Ssc_GiaSimClassCreate( p, p->vClassNew ); in Ssc_GiaSimClassRefineOneBit()
203 Vec_IntClear( p->vClassNew ); in Ssc_GiaSimClassRefineOne()
211 Vec_IntPush( p->vClassNew, Ent ); in Ssc_GiaSimClassRefineOne()
213 if ( Vec_IntSize( p->vClassNew ) == 0 ) in Ssc_GiaSimClassRefineOne()
216 Ssc_GiaSimClassCreate( p, p->vClassNew ); in Ssc_GiaSimClassRefineOne()
217 if ( Vec_IntSize(p->vClassNew) > 1 ) in Ssc_GiaSimClassRefineOne()
276 if ( p->vClassNew == NULL ) in Ssc_GiaClassesInit()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswClass.c149 p->vClassNew = Vec_PtrAlloc( 100 ); in Ssw_ClassesStart()
191 if ( p->vClassNew ) Vec_PtrFree( p->vClassNew ); in Ssw_ClassesStop()
978 Vec_PtrClear( p->vClassNew ); in Ssw_ClassesRefineOneClass()
985 if ( Vec_PtrSize(p->vClassNew) == 0 ) in Ssw_ClassesRefineOneClass()
1014 if ( Vec_PtrSize(p->vClassNew) > 1 ) in Ssw_ClassesRefineOneClass()
1081 Vec_PtrClear( p->vClassNew ); in Ssw_ClassesRefineConst1Group()
1086 if ( Vec_PtrSize(p->vClassNew) == 0 ) in Ssw_ClassesRefineConst1Group()
1091 if ( Vec_PtrSize(p->vClassNew) == 1 ) in Ssw_ClassesRefineConst1Group()
1124 Vec_PtrClear( p->vClassNew ); in Ssw_ClassesRefineConst1()
1136 if ( Vec_PtrSize(p->vClassNew) == 0 ) in Ssw_ClassesRefineConst1()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraClass.c72 p->vClassNew = Vec_PtrAlloc( 100 ); in Fra_ClassesStart()
95 if ( p->vClassNew ) Vec_PtrFree( p->vClassNew ); in Fra_ClassesStop()
412 Vec_PtrClear( p->vClassNew ); in Fra_RefineClassOne()
418 Vec_PtrPush( p->vClassNew, pObj ); in Fra_RefineClassOne()
440 ppClass[Vec_PtrSize(p->vClassNew)+i] = NULL; in Fra_RefineClassOne()
538 Vec_PtrClear( p->vClassNew ); in Fra_ClassesRefine1()
544 Vec_PtrPush( p->vClassNew, pObj ); in Fra_ClassesRefine1()
547 if ( Vec_PtrSize(p->vClassNew) == 0 ) in Fra_ClassesRefine1()
555 if ( Vec_PtrSize(p->vClassNew) == 1 ) in Fra_ClassesRefine1()
562 p->pMemClassesFree += 2 * Vec_PtrSize(p->vClassNew); in Fra_ClassesRefine1()
[all …]
H A Dfra.h160 Vec_Ptr_t * vClassNew; // new equivalence class(es) after splitting member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSim2.c38 Vec_Int_t * vClassNew; member
63 Vec_IntFreeP( &p->vClassNew ); in Gia_Sim2Delete()
97 p->vClassNew = Vec_IntAlloc( 100 ); in Gia_Sim2Create()
407 Vec_IntClear( p->vClassNew ); in Gia_Sim2ClassRefineOne()
418 Vec_IntPush( p->vClassNew, Ent ); in Gia_Sim2ClassRefineOne()
420 if ( Vec_IntSize( p->vClassNew ) == 0 ) in Gia_Sim2ClassRefineOne()
423 Gia_Sim2ClassCreate( p->pAig, p->vClassNew ); in Gia_Sim2ClassRefineOne()
424 if ( Vec_IntSize(p->vClassNew) > 1 ) in Gia_Sim2ClassRefineOne()
425 return 1 + Gia_Sim2ClassRefineOne( p, Vec_IntEntry(p->vClassNew,0) ); in Gia_Sim2ClassRefineOne()
H A DgiaGiarf.c78 p->vClassNew = Vec_IntAlloc( 100 ); in Gia_ManEquivStart()
105 Vec_IntFree( p->vClassNew ); in Gia_ManEquivStop()
211 Vec_IntClear( p->vClassNew ); in Hcd_ManClassClassRemoveOne()
215 Vec_IntPush( p->vClassNew, Ent ); in Hcd_ManClassClassRemoveOne()
219 assert( Vec_IntSize( p->vClassNew ) == 1 ); in Hcd_ManClassClassRemoveOne()
221 Hcd_ManClassCreate( p->pGia, p->vClassNew ); in Hcd_ManClassClassRemoveOne()
242 Vec_IntClear( p->vClassNew ); in Hcd_ManClassRefineOne()
251 Vec_IntPush( p->vClassNew, Ent ); in Hcd_ManClassRefineOne()
253 if ( Vec_IntSize( p->vClassNew ) == 0 ) in Hcd_ManClassRefineOne()
256 Hcd_ManClassCreate( p->pGia, p->vClassNew ); in Hcd_ManClassRefineOne()
[all …]
H A DgiaEquiv.c1460 Vec_Int_t * vClass, * vClassNew; in Gia_ManEquivTransform() local
1468 vClassNew = Vec_IntAlloc( 100 ); in Gia_ManEquivTransform()
1476 Vec_IntClear( vClassNew ); in Gia_ManEquivTransform()
1483 Vec_IntPush( vClassNew, iNode ); in Gia_ManEquivTransform()
1493 if ( Vec_IntSize(vClassNew) < 2 ) in Gia_ManEquivTransform()
1498 Cec_ManSimClassCreate( p, vClassNew ); in Gia_ManEquivTransform()
1501 Vec_IntFree( vClassNew ); in Gia_ManEquivTransform()
H A DgiaMan.c96 Vec_IntFreeP( &p->vClassNew ); in Gia_ManStop()
H A Dgia.h214 Vec_Int_t * vClassNew; member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecClass.c273 Vec_IntClear( p->vClassNew ); in Cec_ManSimClassRefineOne()
283 Vec_IntPush( p->vClassNew, Ent ); in Cec_ManSimClassRefineOne()
288 if ( Vec_IntSize( p->vClassNew ) == 0 ) in Cec_ManSimClassRefineOne()
291 Cec_ManSimClassCreate( p->pAig, p->vClassNew ); in Cec_ManSimClassRefineOne()
292 if ( Vec_IntSize(p->vClassNew) > 1 ) in Cec_ManSimClassRefineOne()
293 return 1 + Cec_ManSimClassRefineOne( p, Vec_IntEntry(p->vClassNew,0) ); in Cec_ManSimClassRefineOne()
324 Vec_IntClear( p->vClassNew ); in Cec_ManSimClassRemoveOne()
328 Vec_IntPush( p->vClassNew, Ent ); in Cec_ManSimClassRemoveOne()
332 assert( Vec_IntSize( p->vClassNew ) == 1 ); in Cec_ManSimClassRemoveOne()
334 Cec_ManSimClassCreate( p->pAig, p->vClassNew ); in Cec_ManSimClassRemoveOne()
H A DcecMan.c208 p->vClassNew = Vec_IntAlloc( 1000 ); in Cec_ManSimStart()
235 Vec_IntFree( p->vClassNew ); in Cec_ManSimStop()
H A DcecInt.h139 Vec_Int_t * vClassNew; // new class numbers member