paradyx/ma-tex - Change FKCEFKZYPSWFLC4GEG3L46BFTNSAMNMFD4VAGU6DADWAHYYIQIMQC

WIP

Created by paradyx on May 4, 2023

FKCEFKZYPSWFLC4GEG3L46BFTNSAMNMFD4VAGU6DADWAHYYIQIMQC

Dependencies

[2] HF25ZQRDZXNE2IM3YGE3NAPWGDE3U252H764IBIJSIZS3LRLYIMAC

In channels

main

Change contents

Replacement in figures/ch3_example2_tree.tex at line 4 [2.422]

B:BD[2.475] → [2.475:1177]

    \node[state,initial]    (l0)                           {$\langle l_0, \textit{true}\rangle$};
    \node[state]            (l1)    [below=1.2cm of l0]          {$\langle l_1, \textit{true}\rangle$};
    \node[state]            (l2)    [below right=of l1]    {$\langle l_1, x > 1 \rangle$};
    \node[state]            (l2')   [below left=of l1]     {$\langle l_2, x \leq 0\rangle$};
    \node[state]            (l3)    [below right=of l2]    {$\langle l_1, x > 2 \rangle$};
    \node[state]            (l3')   [below left=of l2]     {$\langle l_2, \textit{false}\rangle$};
    \node[state]            (l4)    [below right=of l3]    {};
    \node[state]            (l4')   [below left=of l3]     {};

[2.475]

[2.1177]

    \node[state,initial]    (l0_0) {$\langle l_0, \textit{true}\rangle$};
    \node[state]            (l1_0) [below=1.2cm of l0_0] {$\langle l_1, \textit{true}\rangle$};
    \node[state]            (l2_0) [below right=of l1_0,anchor=west] {$\langle l_2, x>0 \rangle$};
    \node[state]            (l3_0) [below left=of l1_0,anchor=east] {$\langle l_3, x\leq0 \rangle$};
    \node[state]            (l1_1) [below left=of l2_0] {$\langle l_1, x \geq 0, y\leq 0\rangle$};
    \node[state]            (l1_2) [below right=of l2_0] {$\langle l_1, x > 0, y \geq 0\rangle$};
    \node[state]            (l3_1) [below left=of l1_1,anchor=east] {$\langle l_3, x=0,y\leq 0\rangle$};
    \node[state]            (l2_2) [below right=of l1_1] {$\langle l_2, x > 0,y\leq 0\rangle$};
    % \node[state]            (l2')   [below left=of l1]     {$\langle l_2, x \leq 0\rangle$};
    % \node[state]            (l3)    [below right=of l2]    {$\langle l_1, x > 2 \rangle$};
    % \node[state]            (l3')   [below left=of l2]     {$\langle l_2, \textit{false}\rangle$};
    % \node[state]            (l4)    [below right=of l3]    {};
    % \node[state]            (l4')   [below left=of l3]     {};

Replacement in figures/ch3_example2_tree.tex at line 21 [2.422]

B:BD[2.1179] → [2.1179:1551]

    \path[->]   (l0)      edge      node      {$\textit{true}$}       (l1)
                (l1)      edge      node[swap]{$x \leq 0$}            (l2')
                          edge      node      {$x > 0, x := x+1$ } (l2) 
                (l2)      edge      node[swap]{$x \leq 0$}            (l3')
                          edge      node[]    {$x > 0, x := x+1$ } (l3)

[2.1179]

[2.1551]

    \path[->]   (l0_0)      edge      node      {$\textit{true}$}       (l1_0)
                (l1_0)      edge      node[    ]{$x > 0$}               (l2_0)
                            edge      node[swap]{$x \leq 0$ }           (l3_0) 
                (l2_0)      edge      node[swap,anchor=east]{$y \leq 0, x := x-1$}               (l1_1)
                            edge      node[anchor=west]{$y > 0, y:=y-1$ }           (l1_2) 
                % (l2)      edge      node[swap]{$x \leq 0$}            (l3')
                %           edge      node[]    {$x > 0, x := x+1$ } (l3)

Replacement in figures/ch3_example2_tree.tex at line 29 [2.422]

B:BD[2.1583] → [2.1583:1688]

    \path[dotted,->]
                (l3)      edge      (l4')
                          edge      (l4)

[2.1583]

[2.1688]

    % \path[dotted,->]
    %             (l3)      edge      (l4')
    %                       edge      (l4)

Replacement in figures/ch3_example2_program.tex at line 13 [2.1788]

B:BD[2.2377] → [2.2377:2487]

                          node[anchor=north west] {$\begin{aligned}y &> 0\\ y&:= y-1\end{aligned}$}      (l1)

[2.2377]

[2.2487]

                          node[anchor=north] {$\begin{aligned}y &> 0\\ y&:= y-1\end{aligned}$}      (l1)

Replacement in figures/ch3_example2_program.tex at line 15 [2.1788]

B:BD[2.2533] → [2.2533:2643]

                          node[anchor=south west] {$\begin{aligned}y &\leq 0\\ x&:=x-1\end{aligned}$}    (l1)

[2.2533]

[2.2643]

                          node[anchor=south] {$\begin{aligned}y &\leq 0\\ x&:=x-1\end{aligned}$}    (l1)