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
9
template
<
class
T>
10
class
sc_signal
11
{
12
public
:
13
sc_signal
()
14
{
15
}
// not implemented
16
17
void
write
(
T
arg)
18
{
19
signal = arg;
20
}
21
22
T
read
()
23
{
24
return
signal;
25
}
26
27
private
:
28
T
signal;
29
};
30
31
#endif
sc_signal::write
void write(T arg)
Definition
sc_signal.h:17
sc_signal::read
T read()
Definition
sc_signal.h:22
sc_signal::sc_signal
sc_signal()
Definition
sc_signal.h:13
T
#define T
Definition
exp2f.c:24
src
cpp
library
systemc
communication
sc_signal.h
Generated by
1.15.0