diff --git a/doc/report/figures/fsm/uncommited.gv b/doc/report/figures/fsm/uncommitted.gv similarity index 100% rename from doc/report/figures/fsm/uncommited.gv rename to doc/report/figures/fsm/uncommitted.gv diff --git a/doc/report/figures/fsm/uncommited.png b/doc/report/figures/fsm/uncommitted.png similarity index 100% rename from doc/report/figures/fsm/uncommited.png rename to doc/report/figures/fsm/uncommitted.png diff --git a/doc/report/fsm.tex b/doc/report/fsm.tex index fdf82dfd7949bc992c5dd11f1eb961551bca45ff..126600198d7033d6d18551f7fa0b0118771b56b7 100644 --- a/doc/report/fsm.tex +++ b/doc/report/fsm.tex @@ -45,7 +45,7 @@ The behaviour of each agent is defined by a finite state automata. \center{\includegraphics[width=\textwidth]{figures/fsm/agent_beginning.png}} \caption{Agent's beginning} \label{beginning} - \end{figure + \end{figure} \subsubsection{\init} @@ -91,7 +91,7 @@ Messages received in this state: \begin{itemize} \center{\includegraphics[width=\textwidth]{figures/fsm/offerer.png}} \caption{Offerer agent} \label{offerer} -\end{figure +\end{figure} \subsubsection{\offWaitingValues{}} Agents reaching this state are considered offerers. @@ -118,7 +118,7 @@ Messages received in this state: \begin{itemize} \center{\includegraphics[width=\textwidth]{figures/fsm/receiver.png}} \caption{Receiver agent} \label{receiver} -\end{figure +\end{figure} \subsubsection{\recWaitingValues{}} In this state the Receiver agent waits until it has been informed of all its neighbours' values. @@ -154,7 +154,7 @@ In both \bestOfferFM{None/someOffer} cases, \informDelta{someDelta} is sent to a \center{\includegraphics[width=\textwidth]{figures/fsm/committed.png}} \caption{Committed agent} \label{committed} -\end{figure +\end{figure} \subsubsection{\committed{}} This state can be reached from \recHavingRecAllOff{} or \offMakingOff{}. @@ -168,7 +168,7 @@ Messages received in this state: \begin{itemize} \center{\includegraphics[width=\textwidth]{figures/fsm/uncommitted.png}} \caption{Uncommitted agent} \label{uncommitted} -\end{figure +\end{figure} \subsubsection{\uncommitted{}} Similarly to \committed{}, this state can be reached either from \recHavingRecAllOff{} or \offMakingOff{}.