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
24
ABC_NAMESPACE_IMPL_START
25
26
30
34
52
void
Abc_Start
()
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
60
pAbc =
Abc_FrameGetGlobalFrame
();
61
// source the resource file
62
// Abc_UtilsSource( pAbc );
63
}
64
76
void
Abc_Stop
()
77
{
78
Abc_Frame_t
* pAbc;
79
pAbc =
Abc_FrameGetGlobalFrame
();
80
// perform uninitializations
81
Abc_FrameEnd
( pAbc );
82
// stop the framework
83
Abc_FrameDeallocate
( pAbc );
84
}
85
86
90
91
92
ABC_NAMESPACE_IMPL_END
93
abc.h
ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_START
Definition
abc_namespaces.h:54
ABC_NAMESPACE_IMPL_END
#define ABC_NAMESPACE_IMPL_END
Definition
abc_namespaces.h:55
Abc_Frame_t
typedefABC_NAMESPACE_HEADER_START struct Abc_Frame_t_ Abc_Frame_t
INCLUDES ///.
Definition
abcapis.h:38
Abc_FrameGetGlobalFrame
ABC_DLL Abc_Frame_t * Abc_FrameGetGlobalFrame()
Definition
mainFrame.c:643
Abc_FrameDeallocate
void Abc_FrameDeallocate(Abc_Frame_t *p)
Definition
mainFrame.c:204
Abc_FrameEnd
void Abc_FrameEnd(Abc_Frame_t *pAbc)
Definition
mainInit.c:145
mainInt.h
Abc_Start
ABC_NAMESPACE_IMPL_START void Abc_Start()
DECLARATIONS ///.
Definition
mainLib.c:52
Abc_Stop
void Abc_Stop()
Definition
mainLib.c:76
src
base
main
mainLib.c
Generated by Doxygen 1.13.2 © 2025 EPTansuo. All rights reserved.
鲁ICP备2021046540号