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: