Frontend: fix random float overlap

This commit is contained in:
Théophile Bastian 2024-09-08 11:08:37 +02:00
parent d1401b068f
commit 5e398461f5

View file

@ -314,19 +314,19 @@ value:
\end{tikzpicture}
\end{center}
When repeatedly applied starting from $0$, the \texttt{next\_state} function
will yield the sequence $0, 1, 2, 1, 2, 1, 2, \ldots$. The first iteration
brings us to state $1$, which belongs to the steady-state; starting from there,
the next iterations will loop through the steady-state.
\begin{wrapfigure}{R}{0.2\linewidth}
\centering
\vspace{-2em}
%\vspace{-2em}
\includegraphics[width=3cm]{timeline_front_nocross_addv_2add.svg}
\caption{No-cross frontend for $\texttt{ADDV} +
2\times\basic{Int01}$}\label{fig:frontend_nocross_addv_2add}
\end{wrapfigure}
When repeatedly applied starting from $0$, the \texttt{next\_state} function
will yield the sequence $0, 1, 2, 1, 2, 1, 2, \ldots$. The first iteration
brings us to state $1$, which belongs to the steady-state; starting from there,
the next iterations will loop through the steady-state.
In the general case, the model iterates the \texttt{next\_state} function
starting from state $0$ until a previously-encountered state is reached
---~this requires at most three iterations. At this point, steady-state is