Adding MAJ gate to GIA package.

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 );

src/aig/gia/giaHash.c

@@ -688,6 +688,25 @@ int Gia_ManHashMux( Gia_Man_t * p, int iCtrl, int iData1, int iData0 )
 
 /**Function*************************************************************
 
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+int Gia_ManHashMaj( Gia_Man_t * p, int iData0, int iData1, int iData2 )  
+{ 
+    int iTemp0 = Gia_ManHashOr( p, iData1, iData2 );
+    int iTemp1 = Gia_ManHashAnd( p, iData0, iTemp0 );
+    int iTemp2 = Gia_ManHashAnd( p, iData1, iData2 );
+    return Gia_ManHashOr( p, iTemp1, iTemp2 );
+}
+
+/**Function*************************************************************
+
   Synopsis    [Rehashes AIG.]
 
   Description []