/* $Id: col.dot,v 1.18 2011/02/20 01:32:29 samn Exp $ */ digraph G { rankdir=LR nodesep = 2 node [penwidth=3,style=filled] edge [penwidth=4] C1_E6 [fontcolor=white,fontsize=12,color=red,shape=doublecircle,label=E6,width=0.6,height=0.6] C1_E5B [fontcolor=white,fontsize=12,color=red,shape=doublecircle,label=E5b,width=0.17,height=0.17] C1_E5R [fontcolor=white,fontsize=12,color=red,shape=doublecircle,label=E5a,width=0.65,height=0.65] C1_E4 [fontcolor=white,fontsize=12,color=red,shape=doublecircle,label=E4,width=0.3,height=0.3] C1_E2 [fontcolor=white,fontsize=12,color=red,shape=doublecircle,label=E2,width=1.5,height=1.5] C2_I6 [fontcolor=white,fontsize=12,color=blue,shape=tripleoctagon,label=I6,width=0.25,height=0.25] C2_I2 [fontcolor=white,fontsize=12,color=blue,shape=tripleoctagon,label=I2,width=0.25,height=0.25] C2_I4 [fontcolor=white,fontsize=12,color=blue,shape=tripleoctagon,label=I4,width=0.2,height=0.2] C2_I5 [fontcolor=white,fontsize=12,color=blue,shape=tripleoctagon,label=I5,width=0.25,height=0.25] C2_I5L [fontcolor=white,fontsize=12,color=blue,shape=tripleoctagon,label=I5L,width=0.13,height=0.13] C2_I2L [fontcolor=white,fontsize=12,color=blue,shape=tripleoctagon,label=I2L,width=0.13,height=0.13] C2_E5R [fontcolor=white,fontsize=12,color=red,shape=tripleoctagon,label=E5a,width=0.65,height=0.65] C2_E5B [fontcolor=white,fontsize=12,color=red,shape=tripleoctagon,label=E5b,width=0.17,height=0.17] C2_E2 [fontcolor=white,fontsize=12,color=red,shape=tripleoctagon,label=E2,width=1.5,height=1.5] C1_E6 -> C2_I6 [arrowhead=empty,color=red]; C1_E5B -> C2_E5B [arrowhead=empty,color=red]; C1_E5B -> C2_E5R [arrowhead=empty,color=red]; C1_E5B -> C2_I5 [arrowhead=empty,color=red]; C1_E5B -> C2_I5L [arrowhead=empty,color=red]; C1_E5B -> C2_E2 [arrowhead=empty,color=red]; C1_E5B -> C2_I2L [arrowhead=empty,color=red]; C1_E5R -> C2_E5B [arrowhead=empty,color=red]; C1_E5R -> C2_E5R [arrowhead=empty,color=red]; C1_E5R -> C2_I5 [arrowhead=empty,color=red]; C1_E4 -> C2_I4 [arrowhead=empty,color=red]; C1_E2 -> C2_I2 [arrowhead=empty,color=red]; }