这是我在通过 pygraphviz 与 dot 交互时偶然发现的一个问题。我正在通过标签创建记录,但我想知道如何连接记录中的端口而不是记录节点本身。
在点它应该看起来像这样:
a00 [shape = "record" label="{{RecordThing1}|{<1>A|<2>B|<3>C|<4>D|<5>E|<6>F}}"];
a01 [shape = "record" label="{{RecordThing2}|{<1>A|<2>B|<3>C|<4>D|<5>E|<6>F}}"];
a00:1 -> a01:1