addCFLEdge(CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label) | SVF::CFLGraph | virtual |
addCFLNode(NodeID id, CFLNode *node) | SVF::CFLGraph | virtual |
addGNode(NodeID id, NodeType *node) | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
begin() | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
begin() const | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
CFLEdgeSet typedef | SVF::CFLGraph | |
cflEdgeSet | SVF::CFLGraph | private |
CFLGraph(Kind kind) | SVF::CFLGraph | inline |
const_iterator typedef | SVF::GenericGraph< NodeTy, EdgeTy > | |
destroy() | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
dump(const std::string &filename) | SVF::CFLGraph | |
edgeNum | SVF::GenericGraph< NodeTy, EdgeTy > | |
EdgeType typedef | SVF::GenericGraph< NodeTy, EdgeTy > | |
end() | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
end() const | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
GenericGraph() | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
getCFLEdges() const | SVF::CFLGraph | inline |
getGNode(NodeID id) const | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
getStartKind() const | SVF::CFLGraph | |
getTotalEdgeNum() const | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
getTotalNodeNum() const | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
hasEdge(CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label) | SVF::CFLGraph | virtual |
hasGNode(NodeID id) const | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
IDToNodeMap | SVF::GenericGraph< NodeTy, EdgeTy > | protected |
IDToNodeMapTy typedef | SVF::GenericGraph< NodeTy, EdgeTy > | |
incEdgeNum() | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
incNodeNum() | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
iterator typedef | SVF::GenericGraph< NodeTy, EdgeTy > | |
Kind typedef | SVF::CFLGraph | |
nodeNum | SVF::GenericGraph< NodeTy, EdgeTy > | |
NodeType typedef | SVF::GenericGraph< NodeTy, EdgeTy > | |
removeGNode(NodeType *node) | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
startKind | SVF::CFLGraph | |
Symbol typedef | SVF::CFLGraph | |
view() | SVF::CFLGraph | |
~CFLGraph() override=default | SVF::CFLGraph | |
~GenericGraph() | SVF::GenericGraph< NodeTy, EdgeTy > | inlinevirtual |