diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-26 21:03:30 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-26 21:03:30 -0700 |
| commit | 736c2245ea4ce5e630d1d5db66f0f985a6440202 (patch) | |
| tree | 2329f1e0d196cb73e3df9383884041c9d3cdb1b3 /src/aig/gia/gia.h | |
| parent | 836723cf73a721e47faa22cf59a00352cdefeb99 (diff) | |
| download | abc-736c2245ea4ce5e630d1d5db66f0f985a6440202.tar.gz abc-736c2245ea4ce5e630d1d5db66f0f985a6440202.tar.bz2 abc-736c2245ea4ce5e630d1d5db66f0f985a6440202.zip | |
Adding MAJ gate to GIA package.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index f503b740..dba5c9db 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -1174,6 +1174,7 @@ extern int Gia_ManHashAnd( Gia_Man_t * p, int iLit0, int iLit1 ) extern int Gia_ManHashOr( Gia_Man_t * p, int iLit0, int iLit1 ); extern int Gia_ManHashXor( Gia_Man_t * p, int iLit0, int iLit1 ); extern int Gia_ManHashMux( Gia_Man_t * p, int iCtrl, int iData1, int iData0 ); +extern int Gia_ManHashMaj( Gia_Man_t * p, int iData0, int iData1, int iData2 ); extern int Gia_ManHashAndTry( Gia_Man_t * p, int iLit0, int iLit1 ); extern Gia_Man_t * Gia_ManRehash( Gia_Man_t * p, int fAddStrash ); extern void Gia_ManHashProfile( Gia_Man_t * p ); |