diff options
| author | Linnnus <[email protected]> | 2024-04-19 11:23:15 +0200 |
|---|---|---|
| committer | Linnnus <[email protected]> | 2024-04-19 11:23:15 +0200 |
| commit | f81e62d93d899b7f9a8fc86d3fc17af5e9e8b4bf (patch) | |
| tree | 20dd84ed3888c0ac94b12c7bd25e0831a28e7044 | |
| parent | 29458f94f2b77061a3d6c27e2996f05d0a15ee1f (diff) | |
| -rw-r--r-- | states-horizontal.png | bin | 0 -> 82636 bytes | |||
| -rw-r--r-- | states.dot | 17 | ||||
| -rw-r--r-- | states.png | bin | 0 -> 264960 bytes |
3 files changed, 17 insertions, 0 deletions
diff --git a/states-horizontal.png b/states-horizontal.png Binary files differnew file mode 100644 index 0000000..e4ff979 --- /dev/null +++ b/states-horizontal.png 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 diff --git a/states.png b/states.png Binary files differnew file mode 100644 index 0000000..42dfddc --- /dev/null +++ b/states.png |
