diff options
Diffstat (limited to 'states.dot')
| -rw-r--r-- | states.dot | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/states.dot b/states.dot new file mode 100644 index 0000000..efd489d --- /dev/null +++ b/states.dot @@ -0,0 +1,17 @@ +digraph G { + node [shape=doublecircle] Start; + node [shape=circle,fontname="monospace"]; + edge [fontname="Helvetica,Arial,sans-serif"]; + rankdir=LR; + + Start -> STATE_UNARMED; + STATE_UNARMED -> STATE_ARMED [label="Kode indtastes"]; + STATE_ARMED -> STATE_AWARE [label="Vægt ændrer sig"]; + STATE_AWARE -> STATE_RINGING [label="Tiden er gået"]; + STATE_AWARE -> STATE_ARMED [label="Vægt normal"]; + + edge [color=gray,fontcolor=gray]; + STATE_ARMED -> STATE_UNARMED [label="Korrekt kode indtastes"]; + STATE_AWARE -> STATE_UNARMED [label="Korrekt kode indtastes"]; + STATE_RINGING -> STATE_UNARMED [label="Korrekt kode indtastes"]; +}
\ No newline at end of file |