/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
H A D | dchClass.c | 146 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 D | sscClass.c | 168 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 D | sswClass.c | 149 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 D | fraClass.c | 72 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 D | fra.h | 160 Vec_Ptr_t * vClassNew; // new equivalence class(es) after splitting member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaSim2.c | 38 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 D | giaGiarf.c | 78 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 D | giaEquiv.c | 1460 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 D | giaMan.c | 96 Vec_IntFreeP( &p->vClassNew ); in Gia_ManStop()
|
H A D | gia.h | 214 Vec_Int_t * vClassNew; member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecClass.c | 273 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 D | cecMan.c | 208 p->vClassNew = Vec_IntAlloc( 1000 ); in Cec_ManSimStart() 235 Vec_IntFree( p->vClassNew ); in Cec_ManSimStop()
|
H A D | cecInt.h | 139 Vec_Int_t * vClassNew; // new class numbers member
|