diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-27 15:23:12 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-27 15:23:12 -0700 |
| commit | 324d73c29a22766063df46f9e35a3cbe719a83c2 (patch) | |
| tree | a1f9bddaf945d689c458f95893d8424da0dbf816 /src/proof/abs | |
| parent | ae9a4407c4abf4200365faceb9d8cac0d99236b3 (diff) | |
| download | abc-324d73c29a22766063df46f9e35a3cbe719a83c2.tar.gz abc-324d73c29a22766063df46f9e35a3cbe719a83c2.tar.bz2 abc-324d73c29a22766063df46f9e35a3cbe719a83c2.zip | |
New fast extract.
Diffstat (limited to 'src/proof/abs')
| -rw-r--r-- | src/proof/abs/absGla.c | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/proof/abs/absGla.c b/src/proof/abs/absGla.c index e05959a2..4063757c 100644 --- a/src/proof/abs/absGla.c +++ b/src/proof/abs/absGla.c @@ -1153,27 +1153,6 @@ void Ga2_ManRestart( Ga2_Man_t * p ) SeeAlso [] ***********************************************************************/ -int Vec_IntCheckUnique( Vec_Int_t * p ) -{ - int RetValue; - Vec_Int_t * pDup = Vec_IntDup( p ); - Vec_IntUniqify( pDup ); - RetValue = Vec_IntSize(p) - Vec_IntSize(pDup); - Vec_IntFree( pDup ); - return RetValue; -} - -/**Function************************************************************* - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ static inline int Ga2_ObjSatValue( Ga2_Man_t * p, Gia_Obj_t * pObj, int f ) { int Lit = Ga2_ObjFindLit( p, pObj, f ); |