ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
sc_module.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  sc_module

Macros

#define SC_MODULE(module_name)
#define SC_CTOR(module_name)

Macro Definition Documentation

◆ SC_CTOR

#define SC_CTOR ( module_name)
Value:
module_name(const char *label)
static const std::string & label(const GNode &g)
Definition plcopen_xml_parser.cpp:498

◆ SC_MODULE

#define SC_MODULE ( module_name)
Value:
struct module_name : public sc_module
Definition sc_module.h:9