Skip to content
Snippets Groups Projects
Select Git revision
  • 0e3463f97d754a30cf594088f66de740d97de439
  • main default protected
2 results

linearisation_atomicite_hc.tex

Blame
  • user avatar
    amaury authored
    0e3463f9
    History
    linearisation_atomicite_hc.tex 1.65 KiB
    \resizebox{\columnwidth}{!}{%
        \begin{tikzpicture}[
            roundedrectangle/.style={draw, rounded corners, rectangle, minimum height=10pt, minimum width=20pt},
            invisible/.style={draw=none, fill=none},
            ]
    
            \node[invisible] (10) {};
            \node[roundedrectangle] (11) [right=60pt of 10] {\textcolor{blue}{$r_x(0,0)$}};
            \node[roundedrectangle, minimum width=100pt] (12) [right=50pt of 11] {$w_x(1)$};
            \node[invisible] (13) [right=100pt of 12] {};
    
            \node[invisible] (20) [below=15pt of 10] {};
            \node[roundedrectangle] (21) [right=20pt of 20] {\textcolor{blue}{$r_x/(0,0)$}};
            \node[roundedrectangle] (22) [right=50pt of 21] {\textcolor{red}{$r_x/(0,1)$}};
            \node[roundedrectangle] (23) [right=15pt of 22] {\textcolor{red}{$r_x/(0,1)$}};
            \node[roundedrectangle] (24) [right=10pt of 23] {\textcolor{red}{$r_x/(0,1)$}};
            \node[roundedrectangle] (25) [right=20pt of 24] {\textcolor{red}{$r_x/(0,1)$}};
            \node[invisible] (26) [below=15pt of 13] {};
    
            \node[invisible] (30) [below=15pt of 20] {};
            \node[roundedrectangle] (31) [right=30pt of 30] {\textcolor{blue}{$r_x/(0,0)$}};
            \node[roundedrectangle] (32) [right=55pt of 31] {\textcolor{blue}{$r_x/(0,0)$}};
            \node[roundedrectangle] (33) [right=15pt of 32] {\textcolor{red}{$r_x/(0,1)$}};
            \node[roundedrectangle] (34) [right=25pt of 33] {\textcolor{red}{$r_x/(0,1)$}};
            \node[invisible] (35) [below=15pt of 26] {};
    
            \draw (10) -- (11) -- (12) -- (13);
            \draw (20) -- (21) -- (22) -- (23) -- (24) -- (25) -- (26);
            \draw (30) -- (31) -- (32) -- (33) -- (34) -- (35);
        \end{tikzpicture}
    }