From e54d9691616b9a0326e2fdb3156bb4eeb8abfcd7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 30 Sep 2007 08:01:00 -0700
Subject: Version abc70930

---
 src/misc/nm/nm.h | 92 --------------------------------------------------------
 1 file changed, 92 deletions(-)
 delete mode 100644 src/misc/nm/nm.h

(limited to 'src/misc/nm/nm.h')

diff --git a/src/misc/nm/nm.h b/src/misc/nm/nm.h
deleted file mode 100644
index c6344bbf..00000000
--- a/src/misc/nm/nm.h
+++ /dev/null
@@ -1,92 +0,0 @@
-/**CFilextern e****************************************************************
-
-  FileName    [nm.h]
-
-  SystemName  [ABC: Logic synthesis and verification system.]
-
-  PackageName [Name manager.]
-
-  Synopsis    [External declarations.]
-
-  Author      [Alan Mishchenko]
-  
-  Affiliation [UC Berkeley]
-
-  Date        [Ver. 1.0. Started - June 20, 2005.]
-
-  Revision    [$Id: nm.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
-
-***********************************************************************/
- 
-#ifndef __NM_H__
-#define __NM_H__
-
-#ifdef __cplusplus
-extern "C" {
-#endif
-
-/*
-    This manager is designed to store ID-to-name and name-to-ID mapping
-    for Boolean networks and And-Inverter Graphs.
-    
-    In a netlist, net names are unique. In this case, there is a one-to-one
-    mapping between IDs and names.
-
-    In a logic network, which do not have nets, several objects may have
-    the same name. For example, a latch output and a primary output.
-    Another example, a primary input and an input to a black box.
-    In this case, for each ID on an object there is only one name, 
-    but for each name may be several IDs of objects having this name.
-
-    The name manager maps ID-to-name uniquely but it allows one name to 
-    be mapped into several IDs. When a query to find an ID of the object
-    by its name is submitted, it is possible to specify the object type, 
-    which will help select one of several IDs. If the type is -1, and 
-    there is more than one object with the given name, any object with 
-    the given name is returned.
-*/
-
-////////////////////////////////////////////////////////////////////////
-///                          INCLUDES                                ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                         PARAMETERS                               ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                         BASIC TYPES                              ///
-////////////////////////////////////////////////////////////////////////
-
-typedef struct Nm_Man_t_ Nm_Man_t;
-
-////////////////////////////////////////////////////////////////////////
-///                      MACRO DEFINITIONS                           ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                    FUNCTION DECLARATIONS                         ///
-////////////////////////////////////////////////////////////////////////
-
-/*=== nmApi.c ==========================================================*/
-extern Nm_Man_t *   Nm_ManCreate( int nSize );
-extern void         Nm_ManFree( Nm_Man_t * p );
-extern int          Nm_ManNumEntries( Nm_Man_t * p );
-extern char *       Nm_ManStoreIdName( Nm_Man_t * p, int ObjId, int Type, char * pName, char * pSuffix );
-extern void         Nm_ManDeleteIdName( Nm_Man_t * p, int ObjId );
-extern char *       Nm_ManCreateUniqueName( Nm_Man_t * p, int ObjId );
-extern char *       Nm_ManFindNameById( Nm_Man_t * p, int ObjId );
-extern int          Nm_ManFindIdByName( Nm_Man_t * p, char * pName, int Type );
-extern int          Nm_ManFindIdByNameTwoTypes( Nm_Man_t * p, char * pName, int Type1, int Type2 );
-extern Vec_Int_t *  Nm_ManReturnNameIds( Nm_Man_t * p );
-
-#ifdef __cplusplus
-}
-#endif
-
-#endif
-
-////////////////////////////////////////////////////////////////////////
-///                       END OF FILE                                ///
-////////////////////////////////////////////////////////////////////////
-
-- 
cgit v1.2.3