// Generated by GNU Bison . // Report bugs to < >. // Home page: < >. digraph " { node [fontname = courier, shape = box, colorscheme = paired6] edge [fontname = courier] } -> . . [ ] , dotted solid dashed [label=" "] -> [style= label=" " ]