ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
sc_signal_ports.h
Go to the documentation of this file.
1#ifndef SC_SIGNAL_PORTS_H
2#define SC_SIGNAL_PORTS_H
3
4#include "signal.h"
5template <class T>
6class sc_signal;
7
8#define sc_out sc_inout
9
10template <class T>
12{
13public:
14 sc_inout() {}; // not implemented
15
16 void write(T arg)
17 {
18 signal.write(arg);
19 }
20
22 {
23 return signal.read();
24 }
25
27 {
28 signal.write(flag.read());
29 }
30
31 void operator=(T flag)
32 {
33 this->signal.write(flag);
34 }
35
36private:
37 sc_signal<T> signal;
38};
39
40#endif
T read()
Definition sc_signal_ports.h:21
sc_inout()
Definition sc_signal_ports.h:14
void operator=(T flag)
Definition sc_signal_ports.h:31
void operator()(sc_signal< T > &flag)
Definition sc_signal_ports.h:26
void write(T arg)
Definition sc_signal_ports.h:16
Definition sc_signal.h:11
T read()
Definition sc_signal.h:22
#define T
Definition exp2f.c:24