writeup/speccfg.tex

   1 \begin{figure}
   2
   3
   4 %\paragraph{Default settings}
   5 %\begin{grammar}
   6
   7 %<statement> ::= <ident> `=' <expr>
   8 %\alt `for' <ident> `=' <expr> `to' <expr> `do' <statement>
   9 %\alt `{' <stat-list> `}'
  10 %\alt <empty>
  11
  12 %<stat-list> ::= <statement> `;' <stat-list> | <statement>
  13
  14 %\end{grammar}
  15
  16 \caption{\label{fig:algorithm}\TOOL algorithm}
  17 \end{figure}