From 1fe2ba9ac0787906573f7b1cadf5ff535ee7444f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 18 Jul 2012 23:52:41 -0700
Subject: Enabling &gla for combinational miters.

---
 src/base/abci/abc.c | 18 ++++--------------
 1 file changed, 4 insertions(+), 14 deletions(-)

(limited to 'src/base/abci/abc.c')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 006f3a55..db971203 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -27576,24 +27576,12 @@ int Abc_CommandAbc9GlaDerive( Abc_Frame_t * pAbc, int argc, char ** argv )
         Abc_Print( -1, "Abc_CommandAbc9GlaDerive(): There is no AIG.\n" );
         return 1;
     } 
+/*
     if ( Gia_ManRegNum(pAbc->pGia) == 0 )
     {
         Abc_Print( -1, "The network is combinational.\n" );
         return 0;
     }
-/*
-    {
-        int i;
-        assert( pAbc->pGia->vGateClasses == NULL );
-        pAbc->pGia->vGateClasses = Vec_IntStart( Gia_ManObjNum(pAbc->pGia) );
-        for ( i = 0; i < Gia_ManObjNum(pAbc->pGia); i++ )
-        {
-            if ( rand() % 3 == i % 3 )
-            {
-                Vec_IntWriteEntry( pAbc->pGia->vGateClasses, i, rand() % 5 );
-            }
-        }
-    }
 */
     if ( pAbc->pGia->vGateClasses == NULL )
     {
@@ -28174,12 +28162,14 @@ int Abc_CommandAbc9Gla( Abc_Frame_t * pAbc, int argc, char ** argv )
     {
         Abc_Print( -1, "There is no AIG.\n" );
         return 0;
-    } 
+    }
+/*    
     if ( Gia_ManRegNum(pAbc->pGia) == 0 )
     {
         Abc_Print( -1, "The network is combinational.\n" );
         return 0;
     }
+*/
     if ( Gia_ManPoNum(pAbc->pGia) > 1 )
     {
         Abc_Print( 1, "The network is more than one PO (run \"orpos\").\n" );
-- 
cgit v1.2.3