ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
mainLib.c
Go to the documentation of this file.
1
20
21#include "base/abc/abc.h"
22#include "mainInt.h"
23
25
26
30
34
53{
54 Abc_Frame_t * pAbc;
55 // added to detect memory leaks:
56#if defined(_DEBUG) && defined(_MSC_VER)
57 _CrtSetDbgFlag( _CRTDBG_ALLOC_MEM_DF | _CRTDBG_LEAK_CHECK_DF );
58#endif
59 // start the glocal frame
61 // source the resource file
62// Abc_UtilsSource( pAbc );
63}
64
77{
78 Abc_Frame_t * pAbc;
80 // perform uninitializations
81 Abc_FrameEnd( pAbc );
82 // stop the framework
83 Abc_FrameDeallocate( pAbc );
84}
85
86
90
91
93
#define ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_END
typedefABC_NAMESPACE_HEADER_START struct Abc_Frame_t_ Abc_Frame_t
INCLUDES ///.
Definition abcapis.h:38
ABC_DLL Abc_Frame_t * Abc_FrameGetGlobalFrame()
Definition mainFrame.c:643
void Abc_FrameDeallocate(Abc_Frame_t *p)
Definition mainFrame.c:204
void Abc_FrameEnd(Abc_Frame_t *pAbc)
Definition mainInit.c:145
ABC_NAMESPACE_IMPL_START void Abc_Start()
DECLARATIONS ///.
Definition mainLib.c:52
void Abc_Stop()
Definition mainLib.c:76