Update protocol overview state diagram

input-output-hk · Apr 17, 2024 · 555eda5 · 555eda5
1 parent 34afe6e
commit 555eda5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/spec/fig_SM_states_basic.tex b/spec/fig_SM_states_basic.tex
@@ -9,9 +9,11 @@
 
     \path[->] (initial) edge [bend left=20] node {$\stCollect$} (open);
     \path[->] (open) edge [bend left=20] node {$\stClose$} (closed);
+    \path[->] (open) edge [loop above] node {$\mathsf{increment}$} (open);
+    \path[->] (open) edge [loop below] node {$\mathsf{decrement}$} (open);
     \path[->] (closed) edge [bend left=20] node {$\stFanout$} (final);
     \path[->] (closed) edge [loop above] node {$\stContest$} (closed);
-    \path[->] (initial) edge node {$\stAbort$} (final);
+    \path[->] (initial) edge [bend right=20] node {$\stAbort$} (final);
   \end{tikzpicture}
 
   \caption{Mainchain state diagram for this version of the Hydra protocol.}\label{fig:SM_states_basic}