From fcdd9148b456e7efec1db8b4cf81adbb305401d7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 12 Jun 2014 21:27:14 -0700
Subject: Various modifications.

---
 src/aig/gia/giaUtil.c | 28 ----------------------------
 1 file changed, 28 deletions(-)

(limited to 'src/aig/gia/giaUtil.c')

diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c
index 365a8539..e16ee44f 100644
--- a/src/aig/gia/giaUtil.c
+++ b/src/aig/gia/giaUtil.c
@@ -744,34 +744,6 @@ int * Gia_ManCreateMuxRefs( Gia_Man_t * p )
     return pMuxRefs;
 }
 
-/**Function*************************************************************
-
-  Synopsis    [Assigns references.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-void Gia_ManCountMuxXor( Gia_Man_t * p, int * pnMuxes, int * pnXors )
-{
-    Gia_Obj_t * pObj, * pFan0, * pFan1; 
-    int i;
-    *pnMuxes = 0;
-    *pnXors = 0;
-    Gia_ManForEachAnd( p, pObj, i )
-    {
-        if ( !Gia_ObjIsMuxType(pObj) )
-            continue;
-        if ( Gia_ObjRecognizeExor(pObj, &pFan0, &pFan1) )
-            (*pnXors)++;
-        else
-            (*pnMuxes)++;
-    }
-}
-
 /**Function*************************************************************
 
   Synopsis    [Computes the maximum frontier size.]
-- 
cgit v1.2.3