Base class for TESLA instrumenters.
Definition at line 40 of file Instrumenter.h.
#include "Instrumenter.h"
tesla::Instrumenter::Instrumenter |
( |
const Manifest & |
M, |
|
|
bool |
SuppressDI |
|
) |
| |
|
inline |
virtual tesla::Instrumenter::~Instrumenter |
( |
| ) |
|
|
inlinevirtual |
TESLA manifest that describes automata.
Definition at line 49 of file Instrumenter.h.
const bool tesla::Instrumenter::SuppressDebugInstr |
|
protected |
Don't produce debug instrumentation (e.g., printf() statements).
Definition at line 52 of file Instrumenter.h.
The documentation for this class was generated from the following file: