Represents DFA Analysis report produced by DFAPass. More...
#include <dfagraph.h>
Detailed Description
Represents DFA Analysis report produced by DFAPass.
Inheritance diagram for DFAGraph:
Public Member Functions | |
| virtual 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/dfagraph.h
- cpp/src/analysis/dfagraph.cpp
