diff options
| author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-03-03 13:46:32 -0800 |
|---|---|---|
| committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-03-03 13:46:32 -0800 |
| commit | 154f4b642d7b383399a3465cc8d365ad09a541e7 (patch) | |
| tree | 695e28331e4b291adfcdc5dec34a65721b59ddcd /src/base/main/main.h | |
| parent | 40d29e781387fdfbe8fec47e600d57a109fed1d9 (diff) | |
| parent | 59f09c10d5389afe0768820ebb6167fdf8b5617b (diff) | |
| download | abc-154f4b642d7b383399a3465cc8d365ad09a541e7.tar.gz abc-154f4b642d7b383399a3465cc8d365ad09a541e7.tar.bz2 abc-154f4b642d7b383399a3465cc8d365ad09a541e7.zip | |
merge
Diffstat (limited to 'src/base/main/main.h')
| -rw-r--r-- | src/base/main/main.h | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/base/main/main.h b/src/base/main/main.h index 89353fa6..a59a9a40 100644 --- a/src/base/main/main.h +++ b/src/base/main/main.h @@ -34,10 +34,8 @@ #include "misc/vec/vec.h" #include "misc/st/st.h" -ABC_NAMESPACE_HEADER_START -// the framework containing all data -typedef struct Abc_Frame_t_ Abc_Frame_t; -ABC_NAMESPACE_HEADER_END +// the framework containing all data is defined here +#include "abcapis.h" #include "base/cmd/cmd.h" #include "base/io/ioAbc.h" @@ -116,7 +114,7 @@ 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 Abc_Cex_t * Abc_FrameReadCex( 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 ); |