Represents CFA analysis data produced by CFAPass. More...
#include <cfagraph.h>
Detailed Description
Represents CFA analysis data produced by CFAPass.
Inheritance diagram for CFAGraph:
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/cfagraph.h
- cpp/src/analysis/cfagraph.cpp
