diff options
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/extra/extraUtilDsd.c | 7 | ||||
| -rw-r--r-- | src/misc/vec/vecHsh4.h | 3 |
2 files changed, 7 insertions, 3 deletions
diff --git a/src/misc/extra/extraUtilDsd.c b/src/misc/extra/extraUtilDsd.c index cf1d3ade..ea95598b 100644 --- a/src/misc/extra/extraUtilDsd.c +++ b/src/misc/extra/extraUtilDsd.c @@ -1214,14 +1214,15 @@ void Sdm_ManDivTest() Vec_WrdForEachEntry( vDivs, u, i ) { printf( "%2d : ", i ); - Kit_DsdPrintFromTruth( (unsigned *)&u, 6 ); printf( "\n" ); +// Kit_DsdPrintFromTruth( (unsigned *)&u, 6 ); + printf( "\n" ); } RetValue = Rsb_ManPerformResub6( pManRsb, 6, t, vDivs, &t0, &t1, 1 ); if ( RetValue ) { - Kit_DsdPrintFromTruth( (unsigned *)&t0, 6 ); printf( "\n" ); - Kit_DsdPrintFromTruth( (unsigned *)&t1, 6 ); printf( "\n" ); +// Kit_DsdPrintFromTruth( (unsigned *)&t0, 6 ); printf( "\n" ); +// Kit_DsdPrintFromTruth( (unsigned *)&t1, 6 ); printf( "\n" ); printf( "Decomposition exits.\n" ); } diff --git a/src/misc/vec/vecHsh4.h b/src/misc/vec/vecHsh4.h index bd44f35e..af48f32b 100644 --- a/src/misc/vec/vecHsh4.h +++ b/src/misc/vec/vecHsh4.h @@ -60,6 +60,9 @@ struct Hsh_Int4Man_t_ //////////////////////////////////////////////////////////////////////// static inline Hsh_Int4Obj_t * Hsh_Int4Obj( Hsh_Int4Man_t * p, int iObj ) { return iObj ? (Hsh_Int4Obj_t *)Vec_IntEntryP(p->vObjs, 4*iObj) : NULL; } +static inline int Hsh_Int4ObjRes( Hsh_Int4Man_t * p, int i ) { return Hsh_Int4Obj(p, i)->iRes; } +static inline void Hsh_Int4ObjInc( Hsh_Int4Man_t * p, int i ) { Hsh_Int4Obj(p, i)->iRes++; } +static inline void Hsh_Int4ObjDec( Hsh_Int4Man_t * p, int i ) { Hsh_Int4Obj(p, i)->iRes--; } //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// |