diff options
Diffstat (limited to 'src/aig/saig/saigIso.c')
| -rw-r--r-- | src/aig/saig/saigIso.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/aig/saig/saigIso.c b/src/aig/saig/saigIso.c index ff10df82..95d0cdae 100644 --- a/src/aig/saig/saigIso.c +++ b/src/aig/saig/saigIso.c @@ -503,6 +503,12 @@ Aig_Man_t * Iso_ManFilterPos( Aig_Man_t * pAig, Vec_Ptr_t ** pvPosEquivs, int fV printf( " Unique = %d\n", nUnique ); } */ + + // canonicize order + Vec_PtrForEachEntry( Vec_Int_t *, vClasses, vLevel, i ) + Vec_IntSort( vLevel, 0 ); + Vec_VecSortByFirstInt( (Vec_Vec_t *)vClasses, 0 ); + // collect the first ones vRemain = Vec_IntAlloc( 100 ); Vec_PtrForEachEntry( Vec_Int_t *, vClasses, vLevel, i ) |