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
4
#include "
../communication/sc_signal_ports.h
"
5
6
template
<
class
T>
7
class
sc_inout
;
// pre-definition
8
9
class
sc_sensitive
10
{
11
public
:
12
void
operator<<
(
sc_inout<T>
inout)
13
{
14
}
15
16
private
:
17
sc_sensitive
()
18
{
19
}
20
~sc_sensitive()
21
{
22
}
23
};
24
25
extern
sc_sensitive
sensitive
;
26
27
#endif
sc_inout
Definition
sc_signal_ports.h:12
sc_sensitive
Definition
sc_sensitive.h:10
sc_sensitive::operator<<
void operator<<(sc_inout< T > inout)
Definition
sc_sensitive.h:12
sensitive
sc_sensitive sensitive
sc_signal_ports.h
src
cpp
library
systemc
kernel
sc_sensitive.h
Generated by
1.15.0