4#include "clang/AST/DeclCXX.h"
5#include "clang/AST/Expr.h"
6#include "clang/AST/ParentMap.h"
7#include "clang/AST/PrettyPrinter.h"
8#include "clang/Analysis/CFG.h"
9#include "clang/Analysis/CFGStmtMap.h"
10#include "llvm/Support/raw_ostream.h"
34 void dump(raw_ostream &,
int);
57 void dump(raw_ostream &,
int);
118 void dump(raw_ostream &,
int tabn = 0);
119 void dumpSauto(raw_ostream &,
int tabn = 0);
Edge(Node *, Node *)
Edge class.
timeAdvanceVectorType _timeAdvanceVector
vector< timePairType > timeAdvanceVectorType
void dump(raw_ostream &, int)
void updateSuspensionTime(timePairType)
timeAdvanceVectorType getTimeAdvanceVector()
pair< unsigned int, unsigned int > timePairType
void dump(raw_ostream &, int tabn=0)
edgeVector returnEdgeVector()
vector< Edge * > getEdgesFromSource(int)
Edge * addEdge(Node *, Node *)
pair< int, vector< Edge * > > adjEdgesPairType
pair< int, Node * > nodePairType
vector< Node * > nodeVector
void dumpSauto(raw_ostream &, int tabn=0)
adjEdgesMapType _adjEdges
edgeIDVector _edgeIDVector
map< twoNodePairType, Edge * > adjMapType
vector< int > nodeIDVector
vector< Edge * > edgeVector
map< int, vector< Edge * > > adjEdgesMapType
pair< twoNodePairType, Edge * > adjPairType
map< int, Node * > nodeMapType
Edge * getEdge(Node *, Node *)
pair< int, int > twoNodePairType
adjMapType returnAdjList()
vector< Edge * > getEdgesFromDest(int)
map< int, Edge * > edgeMapType
edgeIDVector returnEdgeIDs()
nodeVector returnNodeVector()
vector< int > edgeIDVector
pair< int, Edge * > edgePairType
nodeIDVector returnNodeIDs()
nodeIDVector _nodeIDVector
void addPredecessor(Node *)
pair< int, Node * > connectPairType
vector< int > getSuccessors(int)
void dump(raw_ostream &, int)
map< int, Node * > connectMapType
vector< int > getPredecessors(int)
void addSuccessor(Node *)
Clang forward declarations.