1
0

diplomacy: use circles for nodes again

This commit is contained in:
Wesley W. Terpstra 2017-04-14 17:01:12 -07:00
parent 2f22fca615
commit 7b8af96fc2

View File

@ -86,7 +86,7 @@ abstract class LazyModule()(implicit val p: Parameters)
buf ++= s"""${pad} <graph id=\"${index}::\" edgedefault=\"directed\">\n""" buf ++= s"""${pad} <graph id=\"${index}::\" edgedefault=\"directed\">\n"""
nodes.filter(!_.omitGraphML).foreach { n => nodes.filter(!_.omitGraphML).foreach { n =>
buf ++= s"""${pad} <node id=\"${index}::${n.index}\">\n""" buf ++= s"""${pad} <node id=\"${index}::${n.index}\">\n"""
buf ++= s"""${pad} <data key=\"d\">${n.nodedebugstring}</data>\n""" buf ++= s"""${pad} <data key=\"d\"><y:ShapeNode><y:Shape type="ellipse"/></y:ShapeNode>${n.nodedebugstring}</data>\n"""
buf ++= s"""${pad} </node>\n""" buf ++= s"""${pad} </node>\n"""
} }
children.filter(!_.omitGraphML).foreach { _.nodesGraphML(buf, pad + " ") } children.filter(!_.omitGraphML).foreach { _.nodesGraphML(buf, pad + " ") }