summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2017-01-05 12:53:15 +0700
committerAlan Mishchenko <alanmi@berkeley.edu>2017-01-05 12:53:15 +0700
commit58622ed032570bc7437762ff55058281677f5ee1 (patch)
tree39ac3e6f955353671722489aa2d674f3d78b3742 /src
parent378bb416462a0ce10ecb1964d8d9b424e762d7b5 (diff)
downloadabc-58622ed032570bc7437762ff55058281677f5ee1.tar.gz
abc-58622ed032570bc7437762ff55058281677f5ee1.tar.bz2
abc-58622ed032570bc7437762ff55058281677f5ee1.zip
Adding two external APIs.
Diffstat (limited to 'src')
-rw-r--r--src/aig/miniaig/abcapis.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/miniaig/abcapis.h b/src/aig/miniaig/abcapis.h
index f412f5ae..eb8586fe 100644
--- a/src/aig/miniaig/abcapis.h
+++ b/src/aig/miniaig/abcapis.h
@@ -52,6 +52,8 @@ 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'