ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
sc_signal.h
Go to the documentation of this file.
1/***************************************************************
2 * sc_signal.h
3 *
4 ***************************************************************/
5
6#ifndef SC_SIGNAL
7#define SC_SIGNAL
8
9template <class T>
11{
12public:
14 {
15 } // not implemented
16
17 void write(T arg)
18 {
19 signal = arg;
20 }
21
23 {
24 return signal;
25 }
26
27private:
28 T signal;
29};
30
31#endif
void write(T arg)
Definition sc_signal.h:17
T read()
Definition sc_signal.h:22
sc_signal()
Definition sc_signal.h:13
#define T
Definition exp2f.c:24