📄 simple_graph.xml
字号:
<?xml version="1.0"?><!DOCTYPE graph SYSTEM "graph.dtd"><graph><sequence id="a" length="10" type="i">1 2 3 4 5 6 7 8 9 10</sequence><!-- Erster Versuch, die ids der vertices sind strings --><vertex id="a" name="a"><transitions><edge id="edge:a" to="b" weight="10"/></transitions><embedding><position x="1" y="1"/></embedding></vertex><vertex id="b" name="b"><transitions><edge id="vertex:b" weight="10" to="a" /></transitions><embedding><position x="2" y="1"/></embedding></vertex></graph>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -