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