ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
sc_clock.h
Go to the documentation of this file.
1
#ifndef SC_CLOCK_H
2
#define SC_CLOCK_H
3
4
class
sc_clock
5
{
6
public
:
7
sc_clock
()
8
{
9
}
10
};
11
12
#endif
sc_clock::sc_clock
sc_clock()
Definition
sc_clock.h:7
src
cpp
library
systemc
communication
sc_clock.h
Generated by
1.15.0