diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-18 18:29:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-18 18:29:00 -0700 |
| commit | 7a85a0ee8d8281b20025f1d2541ca060d3a4a4f0 (patch) | |
| tree | 279c9a5e9b05b72cf2fd877dd104b56dd34998a3 /src/aig/gia/giaHash.c | |
| parent | 815dfdc0c4d82467771cd7a9b0933bf4f87349ef (diff) | |
| download | abc-7a85a0ee8d8281b20025f1d2541ca060d3a4a4f0.tar.gz abc-7a85a0ee8d8281b20025f1d2541ca060d3a4a4f0.tar.bz2 abc-7a85a0ee8d8281b20025f1d2541ca060d3a4a4f0.zip | |
Improvements to &b -das.
Diffstat (limited to 'src/aig/gia/giaHash.c')
| -rw-r--r-- | src/aig/gia/giaHash.c | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/aig/gia/giaHash.c b/src/aig/gia/giaHash.c index 489c7739..58c65b99 100644 --- a/src/aig/gia/giaHash.c +++ b/src/aig/gia/giaHash.c @@ -76,14 +76,18 @@ static inline int * Gia_ManHashFind( Gia_Man_t * p, int iLit0, int iLit1, int iL SeeAlso [] ***********************************************************************/ -int Gia_ManHashLookup( Gia_Man_t * p, Gia_Obj_t * p0, Gia_Obj_t * p1 ) +int Gia_ManHashLookupInt( Gia_Man_t * p, int iLit0, int iLit1 ) { - int iLit0 = Gia_ObjToLit( p, p0 ); - int iLit1 = Gia_ObjToLit( p, p1 ); if ( iLit0 > iLit1 ) iLit0 ^= iLit1, iLit1 ^= iLit0, iLit0 ^= iLit1; return *Gia_ManHashFind( p, iLit0, iLit1, -1 ); } +int Gia_ManHashLookup( Gia_Man_t * p, Gia_Obj_t * p0, Gia_Obj_t * p1 ) +{ + int iLit0 = Gia_ObjToLit( p, p0 ); + int iLit1 = Gia_ObjToLit( p, p1 ); + return Gia_ManHashLookupInt( p, iLit0, iLit1 ); +} /**Function************************************************************* |