Path: | AS.utils.rb |
Last Update: | Fri Feb 25 18:07:06 W. Europe Standard Time 2005 |
# File AS.utils.rb, line 100 100: def graaf_close 101: $graph.print "\n}\n" 102: $graph.close 103: end
# File AS.utils.rb, line 73 73: def graaf_open 74: $graph = File.open("./data/graph.dot", "w") 75: $graph.print "digraph G {\n\n graph [\n rankdir = \"LR\",\n bgcolor = \"#E0E0E0\",\n color = \"#E0E0E0\",\n margin = \"1.0,1.0\"\n ];\n\n node [\n fillcolor = \"#FFFFFF\",\n color = \"#000066\",\n style = \"filled\"\n ];\n\n edge [\n style = \"setlinewidth(2)\"\n\n ];\n\n" 76: end