Execution order graph representation. Produced by CFATemporalSeqPass. More...
#include <temporalseqgraph.h>
Detailed Description
Execution order graph representation. Produced by CFATemporalSeqPass.
Inheritance diagram for TemporalSeqGraph:
Public Member Functions | |
| void | print (std::ostringstream &output) const override |
| Composes a logic program to represent the analysis data in ASP format, and appends to a stream. | |
The documentation for this class was generated from the following files:
- cpp/src/analysis/temporalseqgraph.h
- cpp/src/analysis/temporalseqgraph.cpp
