child_iterator typedef | SVF::GraphWriter< GraphType > | private |
DOTTraits typedef | SVF::GraphWriter< GraphType > | private |
DTraits | SVF::GraphWriter< GraphType > | private |
emitEdge(const void *SrcNodeID, int SrcNodePort, const void *DestNodeID, int DestNodePort, const std::string &Attrs) | SVF::GraphWriter< GraphType > | inline |
emitSimpleNode(const void *ID, const std::string &Attr, const std::string &Label, unsigned NumEdgeSources=0, const std::vector< std::string > *EdgeSourceLabels=nullptr) | SVF::GraphWriter< GraphType > | inline |
G | SVF::GraphWriter< GraphType > | private |
getEdgeSourceLabels(std::stringstream &O2, NodeRef Node) | SVF::GraphWriter< GraphType > | inlineprivate |
getOStream() | SVF::GraphWriter< GraphType > | inline |
GraphWriter(std::ofstream &o, const GraphType &g, bool SN) | SVF::GraphWriter< GraphType > | inline |
GTraits typedef | SVF::GraphWriter< GraphType > | private |
isNodeHidden(NodeRef Node) | SVF::GraphWriter< GraphType > | inline |
node_iterator typedef | SVF::GraphWriter< GraphType > | private |
NodeRef typedef | SVF::GraphWriter< GraphType > | private |
O | SVF::GraphWriter< GraphType > | private |
writeEdge(NodeRef Node, unsigned edgeidx, child_iterator EI) | SVF::GraphWriter< GraphType > | inline |
writeFooter() | SVF::GraphWriter< GraphType > | inline |
writeGraph(const std::string &Title="") | SVF::GraphWriter< GraphType > | inline |
writeHeader(const std::string &Title) | SVF::GraphWriter< GraphType > | inline |
writeNode(NodeRef Node) | SVF::GraphWriter< GraphType > | inline |
writeNodes() | SVF::GraphWriter< GraphType > | inline |