diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-07-12 13:46:45 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-07-12 13:46:45 +0200 |
commit | 7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9 (patch) | |
tree | e12ba30fa688a1fe323c4f6dcd646363393e986d /reserve.dot | |
parent | 39106e3bcd6e4c59cacf719f677a374f7dcc7953 (diff) | |
download | docs-7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9.tar.gz docs-7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9.tar.bz2 docs-7291d52d015b7ddb391102dfdf5d0c1ac4f52ea9.zip |
more state machines
Diffstat (limited to 'reserve.dot')
-rw-r--r-- | reserve.dot | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/reserve.dot b/reserve.dot new file mode 100644 index 00000000..e98abe69 --- /dev/null +++ b/reserve.dot @@ -0,0 +1,12 @@ +digraph Reserve { + + filled [color=blue, label="filled reserve", shape="box"]; + drained [color=blue, label="drained reserve", shape="doublecircle"]; + + transfer->filled; + filled->withdraw; + withdraw->drained; + withdraw->filled; + filled->close; + close->drained; +} |