diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-29 19:00:36 -0400 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-29 19:00:36 -0400 |
commit | 781c66cbf38c257788af46481053231aa703502a (patch) | |
tree | da888f5d0c2898d608f228ca79ef52f6a0c7180d /src/base/main/main.h | |
parent | 73d68a08c1a58d1572439d53954d59649b0a2a4d (diff) | |
download | abc-781c66cbf38c257788af46481053231aa703502a.tar.gz abc-781c66cbf38c257788af46481053231aa703502a.tar.bz2 abc-781c66cbf38c257788af46481053231aa703502a.zip |
Experiments with mini AIG manager.
Diffstat (limited to 'src/base/main/main.h')
-rw-r--r-- | src/base/main/main.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/base/main/main.h b/src/base/main/main.h index f2d7cbf4..849e1956 100644 --- a/src/base/main/main.h +++ b/src/base/main/main.h @@ -131,10 +131,6 @@ 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 ); -/*=== mainFrame.c ===========================================================*/ -extern ABC_DLL void Abc_NtkInputMiniAig( Abc_Frame_t * pAbc, void * p ); -extern ABC_DLL void * Abc_NtkOutputMiniAig( Abc_Frame_t * pAbc ); - ABC_NAMESPACE_HEADER_END |