src/xmlpatterns/schema/doc/legend.dot


1
2
3
4
5
6
7

digraph {
    size="5,4"
    1 [label="  start state  ", shape=circle, style=filled, color=blue]
    2 [label="start/end state", shape=doublecircle, style=filled, color=blue]
    3 [label=" internal state", shape=circle, style=filled, color=red]
    4 [label="  end state    ", shape=doublecircle, style=filled, color=green]
}