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: