ruby_abc 0.0.3 → 0.1.0

data/ext/abc/src/base/main/abcapis.h

@@ -1,106 +0,0 @@
-/**CFile****************************************************************
-
-  FileName    [abcapis.h]
-
-  SystemName  [ABC: Logic synthesis and verification system.]
-
-  PackageName [Include this file in the external code calling ABC.]
-
-  Synopsis    [External declarations.]
-
-  Author      [Alan Mishchenko]
-  
-  Affiliation [UC Berkeley]
-
-  Date        [Ver. 1.0. Started - September 29, 2012.]
-
-  Revision    [$Id: abcapis.h,v 1.00 2012/09/29 00:00:00 alanmi Exp $]
-
-***********************************************************************/
- 
-#ifndef MINI_AIG__abc_apis_h
-#define MINI_AIG__abc_apis_h
-
-////////////////////////////////////////////////////////////////////////
-///                          INCLUDES                                ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                         PARAMETERS                               ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                         BASIC TYPES                              ///
-////////////////////////////////////////////////////////////////////////
-
-ABC_NAMESPACE_HEADER_START
-
-typedef struct Abc_Frame_t_      Abc_Frame_t;
-
-////////////////////////////////////////////////////////////////////////
-///                      MACRO DEFINITIONS                           ///
-////////////////////////////////////////////////////////////////////////
-
-#ifdef WIN32
-  #ifdef WIN32_NO_DLL
-    #define ABC_DLLEXPORT
-    #define ABC_DLLIMPORT
-  #else
-    #define ABC_DLLEXPORT __declspec(dllexport)
-    #define ABC_DLLIMPORT __declspec(dllimport)
-  #endif
-#else  /* defined(WIN32) */
-#define ABC_DLLIMPORT
-#endif /* defined(WIN32) */
-
-#ifndef ABC_DLL
-#define ABC_DLL ABC_DLLIMPORT
-#endif
-
-////////////////////////////////////////////////////////////////////////
-///                    FUNCTION DECLARATIONS                         ///
-////////////////////////////////////////////////////////////////////////
-
-// procedures to start and stop the ABC framework
-extern ABC_DLL void   Abc_Start();
-extern ABC_DLL void   Abc_Stop();
-
-// procedures to get the ABC framework (pAbc) and execute commands in it
-extern ABC_DLL Abc_Frame_t * Abc_FrameGetGlobalFrame();
-extern ABC_DLL int   Cmd_CommandExecute( Abc_Frame_t * pAbc, const char * pCommandLine );
-
-// procedures to input/output 'mini AIG'
-extern ABC_DLL void   Abc_NtkInputMiniAig( Abc_Frame_t * pAbc, void * pMiniAig );
-extern ABC_DLL void * Abc_NtkOutputMiniAig( Abc_Frame_t * pAbc );
-extern ABC_DLL void   Abc_FrameGiaInputMiniAig( Abc_Frame_t * pAbc, void * p );
-extern ABC_DLL void * Abc_FrameGiaOutputMiniAig( Abc_Frame_t * pAbc );
-extern ABC_DLL void   Abc_NtkSetFlopNum( Abc_Frame_t * pAbc, int nFlops );
-
-// procedures to input/output 'mini LUT'
-extern ABC_DLL void   Abc_FrameGiaInputMiniLut( Abc_Frame_t * pAbc, void * pMiniLut );
-extern ABC_DLL void * Abc_FrameGiaOutputMiniLut( Abc_Frame_t * pAbc );
-
-// procedures to set CI/CO arrival/required times
-extern ABC_DLL void   Abc_NtkSetCiArrivalTime( Abc_Frame_t * pAbc, int iCi, float Rise, float Fall );
-extern ABC_DLL void   Abc_NtkSetCoRequiredTime( Abc_Frame_t * pAbc, int iCo, float Rise, float Fall );
-
-// procedure to set AND-gate delay to tech-independent synthesis and mapping
-extern ABC_DLL void   Abc_NtkSetAndGateDelay( Abc_Frame_t * pAbc, float Delay );
-
-// procedures to return the mapped network
-extern ABC_DLL int *  Abc_NtkOutputMiniMapping( Abc_Frame_t * pAbc );
-extern ABC_DLL void   Abc_NtkPrintMiniMapping( int * pArray );
-extern ABC_DLL int *  Abc_FrameReadArrayMapping( Abc_Frame_t * pAbc );              
-
-// procedures to access verifization status and a counter-example
-extern ABC_DLL int    Abc_FrameReadProbStatus( Abc_Frame_t * pAbc );   
-extern ABC_DLL void * Abc_FrameReadCex( Abc_Frame_t * pAbc );    
-
-ABC_NAMESPACE_HEADER_END
-
-#endif
-
-////////////////////////////////////////////////////////////////////////
-///                       END OF FILE                                ///
-////////////////////////////////////////////////////////////////////////
-

data/ext/abc/src/base/main/abcapis_old.h

@@ -1,84 +0,0 @@
-/**CFile****************************************************************
-
-  FileName    [abcapis.h]
-
-  SystemName  [ABC: Logic synthesis and verification system.]
-
-  PackageName [Include this file in the external code calling ABC.]
-
-  Synopsis    [External declarations.]
-
-  Author      [Alan Mishchenko]
-  
-  Affiliation [UC Berkeley]
-
-  Date        [Ver. 1.0. Started - September 29, 2012.]
-
-  Revision    [$Id: abcapis.h,v 1.00 2012/09/29 00:00:00 alanmi Exp $]
-
-***********************************************************************/
- 
-#ifndef MINI_AIG__abc_apis_old_h
-#define MINI_AIG__abc_apis_old_h
-
-////////////////////////////////////////////////////////////////////////
-///                          INCLUDES                                ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                         PARAMETERS                               ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                         BASIC TYPES                              ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                      MACRO DEFINITIONS                           ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                    FUNCTION DECLARATIONS                         ///
-////////////////////////////////////////////////////////////////////////
-
-// procedures to start and stop the ABC framework
-extern void   Abc_Start();
-extern void   Abc_Stop();
-
-// procedures to get the ABC framework (pAbc) and execute commands in it
-extern void * Abc_FrameGetGlobalFrame();
-extern int    Cmd_CommandExecute( void * pAbc, char * pCommandLine );
-
-// procedures to input/output 'mini AIG'
-extern void   Abc_NtkInputMiniAig( void * pAbc, void * pMiniAig );
-extern void * Abc_NtkOutputMiniAig( void * pAbc );
-extern void   Abc_FrameGiaInputMiniAig( void * pAbc, void * p );
-extern void * Abc_FrameGiaOutputMiniAig( void * pAbc );
-extern void   Abc_NtkSetFlopNum( void * pAbc, int nFlops );
-
-// procedures to input/output 'mini LUT'
-extern void   Abc_FrameGiaInputMiniLut( void * pAbc, void * pMiniLut );
-extern void * Abc_FrameGiaOutputMiniLut( void * pAbc );
-
-// procedures to set CI/CO arrival/required times
-extern void   Abc_NtkSetCiArrivalTime( void * pAbc, int iCi, float Rise, float Fall );
-extern void   Abc_NtkSetCoRequiredTime( void * pAbc, int iCo, float Rise, float Fall );
-
-// procedure to set AND-gate delay to tech-independent synthesis and mapping
-extern void   Abc_NtkSetAndGateDelay( void * pAbc, float Delay );
-
-// procedures to return the mapped network
-extern int *  Abc_NtkOutputMiniMapping( void * pAbc );
-extern void   Abc_NtkPrintMiniMapping( int * pArray );
-
-// procedures to access verifization status and a counter-example
-extern int    Abc_FrameReadProbStatus( void * pAbc );   
-extern void * Abc_FrameReadCex( void * pAbc );    
-
-
-#endif
-
-////////////////////////////////////////////////////////////////////////
-///                       END OF FILE                                ///
-////////////////////////////////////////////////////////////////////////
-

data/ext/abc/src/base/main/libSupport.c

@@ -1,211 +0,0 @@
-/**CFile****************************************************************
-
-  FileName    [libSupport.c]
-
-  SystemName  [ABC: Logic synthesis and verification system.]
-
-  PackageName [The main package.]
-
-  Synopsis    [Support for external libaries.]
-
-  Author      [Mike Case]
-  
-  Affiliation [UC Berkeley]
-
-  Date        [Ver. 1.0. Started - June 20, 2005.]
-
-  Revision    [$Id: libSupport.c,v 1.1 2005/09/06 19:59:51 casem Exp $]
-
-***********************************************************************/
-
-#include <stdio.h>
-#include <string.h>
-
-#include "base/abc/abc.h"
-#include "mainInt.h"
-
-ABC_NAMESPACE_IMPL_START
-
-#if defined(ABC_NO_DYNAMIC_LINKING)
-#define WIN32
-#endif
-
-#ifndef WIN32
-# include <sys/types.h>
-# include <dirent.h>
-# include <dlfcn.h>
-#endif
-
-// fix by Paddy O'Brien  on Sep 22, 2009
-#ifdef __CYGWIN__
-#ifndef RTLD_LOCAL
-#define RTLD_LOCAL 0
-#endif
-#endif 
-
-
-#define MAX_LIBS 256
-static void* libHandles[MAX_LIBS+1]; // will be null terminated
-
-typedef void (*lib_init_end_func) (Abc_Frame_t * pAbc);
-
-////////////////////////////////////////////////////////////////////////////////////////////////////
-// This will find all the ABC library extensions in the current directory and load them all.
-////////////////////////////////////////////////////////////////////////////////////////////////////
-void open_libs() {
-    int curr_lib = 0;
-
-#ifdef WIN32
-//    printf("Warning: open_libs WIN32 not implemented.\n");
-#else
-    DIR* dirp;
-    struct dirent* dp;
-    char *env, *init_p, *p;
-    int done;
-
-    env = getenv ("ABC_LIB_PATH");
-    if (env == NULL) {
-//    printf("Warning: ABC_LIB_PATH not defined. Looking into the current directory.\n");
-      init_p = ABC_ALLOC( char, (2*sizeof(char)) );
-      init_p[0]='.'; init_p[1] = 0;
-    } else {
-      init_p = ABC_ALLOC( char, ((strlen(env)+1)*sizeof(char)) );
-      strcpy (init_p, env);
-    }
-
-    // Extract directories and read libraries
-    done = 0;
-    p = init_p;
-    while (!done) {
-      char *endp = strchr (p,':');
-      if (endp == NULL) done = 1; // last directory in the list
-      else *endp = 0; // end of string
-
-      dirp = opendir(p);
-      if (dirp == NULL) {
-//      printf("Warning: directory in ABC_LIB_PATH does not exist (%s).\n", p);
-        continue;
-      }
-
-      while ((dp = readdir(dirp)) != NULL) {
-        if ((strncmp("libabc_", dp->d_name, 7) == 0) &&
-            (strcmp(".so", dp->d_name + strlen(dp->d_name) - 3) == 0)) {
-
-          // make sure we don't overflow the handle array
-          if (curr_lib >= MAX_LIBS) {
-            printf("Warning: maximum number of ABC libraries (%d) exceeded.  Not loading %s.\n",
-                   MAX_LIBS,
-                   dp->d_name);
-          }
-          
-          // attempt to load it
-          else {
-            char* szPrefixed = ABC_ALLOC( char, ((strlen(dp->d_name) + strlen(p) + 2) * 
-                                      sizeof(char)) );
-            sprintf(szPrefixed, "%s/", p);
-            strcat(szPrefixed, dp->d_name);
-            libHandles[curr_lib] = dlopen(szPrefixed, RTLD_NOW | RTLD_LOCAL);
-            
-            // did the load succeed?
-            if (libHandles[curr_lib] != 0) {
-              printf("Loaded ABC library: %s (Abc library extension #%d)\n", szPrefixed, curr_lib);
-              curr_lib++;
-            } else {
-              printf("Warning: failed to load ABC library %s:\n\t%s\n", szPrefixed, dlerror());
-            }
-            
-            ABC_FREE(szPrefixed);
-          }
-        }
-      }
-      closedir(dirp);
-      p = endp+1;
-    }
-
-    ABC_FREE(init_p);
-#endif
-    
-    // null terminate the list of handles
-    libHandles[curr_lib] = 0;    
-}
-
-////////////////////////////////////////////////////////////////////////////////////////////////////
-// This will close all open ABC library extensions
-////////////////////////////////////////////////////////////////////////////////////////////////////
-void close_libs() {
-#ifdef WIN32
-    printf("Warning: close_libs WIN32 not implemented.\n");
-#else
-    int i;
-    for (i = 0; libHandles[i] != 0; i++) {
-        if (dlclose(libHandles[i]) != 0) {
-            printf("Warning: failed to close library %d\n", i);
-        }
-        libHandles[i] = 0;
-    }
-#endif
-}
-
-////////////////////////////////////////////////////////////////////////////////////////////////////
-// This will get a pointer to a function inside of an open library
-////////////////////////////////////////////////////////////////////////////////////////////////////
-void* get_fnct_ptr(int lib_num, char* sym_name) {
-#ifdef WIN32
-    printf("Warning: get_fnct_ptr WIN32 not implemented.\n");
-    return 0;
-#else
-    return dlsym(libHandles[lib_num], sym_name);
-#endif
-}
-
-////////////////////////////////////////////////////////////////////////////////////////////////////
-// This will call an initialization function in every open library.
-////////////////////////////////////////////////////////////////////////////////////////////////////
-void call_inits(Abc_Frame_t* pAbc) {
-    int i;
-    lib_init_end_func init_func;
-    for (i = 0; libHandles[i] != 0; i++) {
-        init_func = (lib_init_end_func) get_fnct_ptr(i, "abc_init");
-        if (init_func == 0) {
-            printf("Warning: Failed to initialize library %d.\n", i);
-        } else {
-            (*init_func)(pAbc);
-        }
-    }
-}
-
-////////////////////////////////////////////////////////////////////////////////////////////////////
-// This will call a shutdown function in every open library.
-////////////////////////////////////////////////////////////////////////////////////////////////////
-void call_ends(Abc_Frame_t* pAbc) {
-    int i;
-    lib_init_end_func end_func;
-    for (i = 0; libHandles[i] != 0; i++) {
-        end_func = (lib_init_end_func) get_fnct_ptr(i, "abc_end");
-        if (end_func == 0) {
-            printf("Warning: Failed to end library %d.\n", i);
-        } else {
-            (*end_func)(pAbc);
-        }
-    }
-}
-
-void Libs_Init(Abc_Frame_t * pAbc)
-{
-    open_libs();
-    call_inits(pAbc);
-}
-
-void Libs_End(Abc_Frame_t * pAbc)
-{
-    call_ends(pAbc);
-
-    // It's good practice to close our libraries at this point, but this can mess up any backtrace printed by Valgind.
-    //    close_libs();
-}
-
-////////////////////////////////////////////////////////////////////////
-///                       END OF FILE                                ///
-////////////////////////////////////////////////////////////////////////
-ABC_NAMESPACE_IMPL_END
-

data/ext/abc/src/base/main/main.c

@@ -1,12 +0,0 @@
-#include <misc/util/abc_global.h>
-
-ABC_NAMESPACE_IMPL_START
-
-int Abc_RealMain(int argc, char *argv[]);
-
-ABC_NAMESPACE_IMPL_END
-
-int main(int argc, char *argv[])
-{
-   return ABC_NAMESPACE_PREFIX Abc_RealMain(argc, argv);
-}

data/ext/abc/src/base/main/main.h

@@ -1,171 +0,0 @@
-/**CFile****************************************************************
-
-  FileName    [main.h]
-
-  SystemName  [ABC: Logic synthesis and verification system.]
-
-  PackageName [The main package.]
-
-  Synopsis    [External declarations of the main package.]
-
-  Author      [Alan Mishchenko]
-  
-  Affiliation [UC Berkeley]
-
-  Date        [Ver. 1.0. Started - June 20, 2005.]
-
-  Revision    [$Id: main.h,v 1.1 2008/05/14 22:13:13 wudenni Exp $]
-
-***********************************************************************/
-
-#ifndef ABC__base__main__main_h
-#define ABC__base__main__main_h
-
-
-////////////////////////////////////////////////////////////////////////
-///                          INCLUDES                                ///
-////////////////////////////////////////////////////////////////////////
-
-// core packages
-#include "base/abc/abc.h"
-#include "aig/gia/gia.h"
-
-// data structure packages
-#include "misc/vec/vec.h"
-#include "misc/st/st.h"
-
-// the framework containing all data is defined here
-#include "abcapis.h"
-
-#include "base/cmd/cmd.h"
-#include "base/io/ioAbc.h"
-
-ABC_NAMESPACE_HEADER_START
-
-////////////////////////////////////////////////////////////////////////
-///                         PARAMETERS                               ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                         TYPEDEFS                                 ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                       GLOBAL VARIABLES                           ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                    STRUCTURE DEFINITIONS                         ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                       MACRO DEFINITIONS                          ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                     FUNCTION DEFINITIONS                         ///
-////////////////////////////////////////////////////////////////////////
-
-/*=== main.c ===========================================================*/
-extern ABC_DLL void            Abc_Start();
-extern ABC_DLL void            Abc_Stop();
-
-/*=== mainFrame.c ===========================================================*/
-extern ABC_DLL Abc_Ntk_t *     Abc_FrameReadNtk( Abc_Frame_t * p );
-extern ABC_DLL Gia_Man_t *     Abc_FrameReadGia( Abc_Frame_t * p );
-extern ABC_DLL FILE *          Abc_FrameReadOut( Abc_Frame_t * p );
-extern ABC_DLL FILE *          Abc_FrameReadErr( Abc_Frame_t * p );
-extern ABC_DLL int             Abc_FrameReadMode( Abc_Frame_t * p );
-extern ABC_DLL int             Abc_FrameSetMode( Abc_Frame_t * p, int fNameMode );
-extern ABC_DLL void            Abc_FrameRestart( Abc_Frame_t * p );
-extern ABC_DLL int             Abc_FrameShowProgress( Abc_Frame_t * p );
-extern ABC_DLL void            Abc_FrameClearVerifStatus( Abc_Frame_t * p );
-extern ABC_DLL void            Abc_FrameUpdateGia( Abc_Frame_t * p, Gia_Man_t * pNew );
-extern ABC_DLL Gia_Man_t *     Abc_FrameGetGia( Abc_Frame_t * p );
-
-extern ABC_DLL void            Abc_FrameSetCurrentNetwork( Abc_Frame_t * p, Abc_Ntk_t * pNet );
-extern ABC_DLL void            Abc_FrameSwapCurrentAndBackup( Abc_Frame_t * p );
-extern ABC_DLL void            Abc_FrameReplaceCurrentNetwork( Abc_Frame_t * p, Abc_Ntk_t * pNet );
-extern ABC_DLL void            Abc_FrameUnmapAllNetworks( Abc_Frame_t * p );
-extern ABC_DLL void            Abc_FrameDeleteAllNetworks( Abc_Frame_t * p );
-
-extern ABC_DLL void			   Abc_FrameSetGlobalFrame( Abc_Frame_t * p );
-extern ABC_DLL Abc_Frame_t *   Abc_FrameGetGlobalFrame();
-extern ABC_DLL Abc_Frame_t *   Abc_FrameReadGlobalFrame();
-
-extern ABC_DLL Vec_Ptr_t *     Abc_FrameReadStore();                  
-extern ABC_DLL int             Abc_FrameReadStoreSize();              
-extern ABC_DLL void *          Abc_FrameReadLibLut();                    
-extern ABC_DLL void *          Abc_FrameReadLibBox();                    
-extern ABC_DLL void *          Abc_FrameReadLibGen();                    
-extern ABC_DLL void *          Abc_FrameReadLibGen2();                    
-extern ABC_DLL void *          Abc_FrameReadLibSuper();                  
-extern ABC_DLL void *          Abc_FrameReadLibScl();                  
-extern ABC_DLL void *          Abc_FrameReadManDd();                     
-extern ABC_DLL void *          Abc_FrameReadManDec();                    
-extern ABC_DLL void *          Abc_FrameReadManDsd();           
-extern ABC_DLL void *          Abc_FrameReadManDsd2();           
-         
-extern ABC_DLL char *          Abc_FrameReadFlag( char * pFlag ); 
-extern ABC_DLL int             Abc_FrameIsFlagEnabled( char * pFlag );
-extern ABC_DLL int             Abc_FrameIsBatchMode();
-extern ABC_DLL int             Abc_FrameIsBridgeMode();
-extern ABC_DLL void            Abc_FrameSetBridgeMode();
-
-extern ABC_DLL int             Abc_FrameReadBmcFrames( Abc_Frame_t * p );              
-extern ABC_DLL int             Abc_FrameReadProbStatus( Abc_Frame_t * p );              
-extern ABC_DLL void *          Abc_FrameReadCex( Abc_Frame_t * p );              
-extern ABC_DLL Vec_Ptr_t *     Abc_FrameReadCexVec( Abc_Frame_t * p );  
-extern ABC_DLL Vec_Int_t *     Abc_FrameReadStatusVec( Abc_Frame_t * p );  
-extern ABC_DLL Vec_Ptr_t *     Abc_FrameReadPoEquivs( Abc_Frame_t * p );  
-extern ABC_DLL Vec_Int_t *     Abc_FrameReadPoStatuses( Abc_Frame_t * p );  
-extern ABC_DLL Vec_Int_t *     Abc_FrameReadObjIds( Abc_Frame_t * p );
-extern ABC_DLL Abc_Nam_t *     Abc_FrameReadJsonStrs( Abc_Frame_t * p );  
-extern ABC_DLL Vec_Wec_t *     Abc_FrameReadJsonObjs( Abc_Frame_t * p );
-
-extern ABC_DLL int             Abc_FrameReadCexPiNum( Abc_Frame_t * p );              
-extern ABC_DLL int             Abc_FrameReadCexRegNum( Abc_Frame_t * p );              
-extern ABC_DLL int             Abc_FrameReadCexPo( Abc_Frame_t * p );              
-extern ABC_DLL int             Abc_FrameReadCexFrame( Abc_Frame_t * p );              
-
-extern ABC_DLL void            Abc_FrameSetNtkStore( Abc_Ntk_t * pNtk ); 
-extern ABC_DLL void            Abc_FrameSetNtkStoreSize( int nStored );  
-extern ABC_DLL void            Abc_FrameSetLibLut( void * pLib );        
-extern ABC_DLL void            Abc_FrameSetLibBox( void * pLib );        
-extern ABC_DLL void            Abc_FrameSetLibGen( void * pLib );        
-extern ABC_DLL void            Abc_FrameSetLibGen2( void * pLib );        
-extern ABC_DLL void            Abc_FrameSetLibSuper( void * pLib );      
-extern ABC_DLL void            Abc_FrameSetLibVer( void * pLib );      
-extern ABC_DLL void            Abc_FrameSetFlag( char * pFlag, char * pValue );
-extern ABC_DLL void            Abc_FrameSetCex( Abc_Cex_t * pCex );
-extern ABC_DLL void            Abc_FrameSetNFrames( int nFrames );
-extern ABC_DLL void            Abc_FrameSetStatus( int Status );
-extern ABC_DLL void            Abc_FrameSetManDsd( void * pMan );
-extern ABC_DLL void            Abc_FrameSetManDsd2( void * pMan );
-extern ABC_DLL void            Abc_FrameSetInv( Vec_Int_t * vInv );
-extern ABC_DLL void            Abc_FrameSetCnf( Vec_Int_t * vInv );
-extern ABC_DLL void            Abc_FrameSetStr( Vec_Str_t * vInv );
-extern ABC_DLL void            Abc_FrameSetJsonStrs( Abc_Nam_t * pStrs );
-extern ABC_DLL void            Abc_FrameSetJsonObjs( Vec_Wec_t * vObjs );
-
-extern ABC_DLL int             Abc_FrameCheckPoConst( Abc_Frame_t * p, int iPoNum );
-
-extern ABC_DLL void            Abc_FrameReplaceCex( Abc_Frame_t * pAbc, Abc_Cex_t ** ppCex );
-extern ABC_DLL void            Abc_FrameReplaceCexVec( Abc_Frame_t * pAbc, Vec_Ptr_t ** pvCexVec );
-extern ABC_DLL void            Abc_FrameReplacePoEquivs( Abc_Frame_t * pAbc, Vec_Ptr_t ** pvPoEquivs );
-extern ABC_DLL void            Abc_FrameReplacePoStatuses( Abc_Frame_t * pAbc, Vec_Int_t ** pvStatuses );
-
-extern ABC_DLL char *          Abc_FrameReadDrivingCell();              
-extern ABC_DLL float           Abc_FrameReadMaxLoad();
-extern ABC_DLL void            Abc_FrameSetDrivingCell( char * pName );
-extern ABC_DLL void            Abc_FrameSetMaxLoad( float Load );
-
-extern ABC_DLL void            Abc_FrameSetArrayMapping( int * p );
-
-ABC_NAMESPACE_HEADER_END
-
-#endif
-
-////////////////////////////////////////////////////////////////////////
-///                       END OF FILE                                ///
-////////////////////////////////////////////////////////////////////////