Merge branch 'master' of https://git.overleaf.com/622e24cad7e111236dd1ae13
This commit is contained in:
commit
f67ac21da9
|
@ -1,21 +1 @@
|
|||
\begin{algorithm}
|
||||
\caption{\texttt{astparse}$(s)$}
|
||||
\label{alg:abort}
|
||||
\begin{algorithmic}[1]
|
||||
\Require{$\mathcal N$: A source code from a cell}
|
||||
\State{$node = genericvisit(s)$}
|
||||
\If{\texttt{isinstance(node,ast.Name)}}
|
||||
\If { \texttt{ in main scope} }
|
||||
\State{\texttt{Populate store and load dictionaries in main scope}}
|
||||
\ElsIf{}
|
||||
|
||||
\EndIf
|
||||
|
||||
\ElsIf{$c_0$.\texttt{done}}
|
||||
\State{Clear $c_0$'s results}
|
||||
\For{$c$ s.t. $(c_0, c) \in \mathcal G$}
|
||||
\State{\texttt{abort}$(\mathcal N, c)$}
|
||||
\EndFor
|
||||
\EndIf
|
||||
\end{algorithmic}
|
||||
\end{algorithm}
|
||||
|
|
Loading…
Reference in a new issue