lattice.py 文件源码

def draw_lattice(node, output_filename = 'output.dot'):
    """Draw CFG and output as pdf."""
    graph = Digraph(format='pdf')

    l = list()
    draw_node(l, graph, node)

    graph = apply_styles(graph, styles)
    graph.render(filename = output_filename)