modelverse/doc/al_rules/all_rules.tex

\documentclass[a4paper]{report}
\usepackage{graphicx}
\begin{document}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_access__eval.eps}
    \caption{access  eval}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_access__init.eps}
    \caption{access  init}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_assign__assign.eps}
    \caption{assign  assign}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_assign__init.eps}
    \caption{assign  init}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_assign__value.eps}
    \caption{assign  value}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_break.eps}
    \caption{break}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_call__call-no-params.eps}
    \caption{call  call-no-params}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_call__call-params.eps}
    \caption{call  call-params}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_call__params-first-multi.eps}
    \caption{call  params-first-multi}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_call__params-first-single.eps}
    \caption{call  params-first-single}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_call__params-last.eps}
    \caption{call  params-last}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_call__params-next.eps}
    \caption{call  params-next}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_call__resolve-no-params.eps}
    \caption{call  resolve-no-params}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_call__resolve-params.eps}
    \caption{call  resolve-params}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_const.eps}
    \caption{const}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_continue.eps}
    \caption{continue}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_declare__init.eps}
    \caption{declare  init}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_global__init.eps}
    \caption{global  init}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_if__cond.eps}
    \caption{if  cond}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_if__false-else.eps}
    \caption{if  false-else}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_if__false-nothing.eps}
    \caption{if  false-nothing}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_if__true.eps}
    \caption{if  true}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_input.eps}
    \caption{input}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_next__next.eps}
    \caption{next  next}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_next__no-next.eps}
    \caption{next  no-next}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_output__init.eps}
    \caption{output  init}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_output__output.eps}
    \caption{output  output}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_resolve__no-attr-global.eps}
    \caption{resolve  no-attr-global}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_resolve__no-attr.eps}
    \caption{resolve  no-attr}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_return__eval.eps}
    \caption{return  eval}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_return__no-value.eps}
    \caption{return  no-value}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_return__value.eps}
    \caption{return  value}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_while__cond.eps}
    \caption{while  cond}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_while__false.eps}
    \caption{while  false}
\end{figure}
\begin{figure}[h!]
    \includegraphics[width=\textwidth]{rule_while__true.eps}
    \caption{while  true}
\end{figure}
\end{document}