Lines Matching defs:ExplodedGraph

3 # ===- exploded-graph-rewriter.py - ExplodedGraph dump tool -----*- python -*--#
24 # These data structures represent a deserialized ExplodedGraph.
409 # A deserialized ExplodedGraph. Constructed by consuming a .dot file
411 class ExplodedGraph:
481 # Visitors traverse a deserialized ExplodedGraph and do different things
486 # A visitor that dumps the ExplodedGraph into a DOT file with fancy HTML-based
571         self._dump_raw('digraph "ExplodedGraph" {\n')
1041 # Explorers know how to traverse the ExplodedGraph in a certain order.
1060 # Trimmers cut out parts of the ExplodedGraph so that to focus on other parts.
1233     graph = ExplodedGraph()