ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
sc_module.h
Go to the documentation of this file.
1
2/***************************************************************
3 * sc_module.h
4 ***************************************************************/
5#ifndef SC_MODULE_H
6#define SC_MODULE_H
7
9{
10public:
12 {
13 }
14
15 sc_module(const char *label)
16 {
17 }
18
20 {
21 }
22};
23
24/* MACROS */
25/* The macros below define the base structs of a SystemC program */
26
27#define SC_MODULE(module_name) struct module_name : public sc_module
28
29#define SC_CTOR(module_name) module_name(const char *label)
30
31/* END MACROS */
32
33#endif
~sc_module()
Definition sc_module.h:19
sc_module()
Definition sc_module.h:11
sc_module(const char *label)
Definition sc_module.h:15
static const std::string & label(const GNode &g)
Definition plcopen_xml_parser.cpp:498