Skip to content
Snippets Groups Projects
Commit b255e37e authored by Alex's avatar Alex
Browse files

solved compiling issu: automata succesfully added to report

parent 0403b5b1
No related branches found
No related tags found
No related merge requests found
......@@ -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{}.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment