ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
sc_sensitive.h
Go to the documentation of this file.
1#ifndef SC_SENSITIVE_H
2#define SC_SENSITIVE_H
3
5
6template <class T>
7class sc_inout; // pre-definition
8
9class sc_sensitive
10{
11public:
13 {
14 }
15
16private:
18 {
19 }
20 ~sc_sensitive()
21 {
22 }
23};
24
26
27#endif
Definition sc_signal_ports.h:12
Definition sc_sensitive.h:10
void operator<<(sc_inout< T > inout)
Definition sc_sensitive.h:12
sc_sensitive sensitive