ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
sc_signal< T > Class Template Reference
#include <
sc_signal.h
>
Public Member Functions
sc_signal
()
void
write
(
T
arg)
T
read
()
Constructor & Destructor Documentation
◆
sc_signal()
template<class
T
>
sc_signal
<
T
>::sc_signal
(
)
inline
Member Function Documentation
◆
read()
template<class
T
>
T
sc_signal
<
T
>::read
(
)
inline
◆
write()
template<class
T
>
void
sc_signal
<
T
>::write
(
T
arg
)
inline
The documentation for this class was generated from the following file:
src/cpp/library/systemc/communication/
sc_signal.h
sc_signal
Generated by
1.15.0