%% %% This is file `struktex-test-2.tex', %% generated with the docstrip utility. %% %% The original source files were: %% %% struktex.dtx (with options: `example3') %% %% \documentclass{article} \usepackage[pict2e, verification]{struktex} \begin{document} \def\StruktBoxHeight{7} \begin{struktogramm}(90,137) \assign% { \begin{declaration}[] \description{\(a, b, c\)}{three variables which are to be sorted} \description{\(tmp\)}{temporary variable for the circular swap} \end{declaration} } \assert[\StruktBoxHeight]{\sTrue} \ifthenelse[\StruktBoxHeight]{1}{2}{\(a\le c\)}{j}{n} \assert[\StruktBoxHeight]{\(a\le c\)} \change \assert[\StruktBoxHeight]{\(a>c\)} \assign[\StruktBoxHeight]{\(tmp\gets a\)} \assign[\StruktBoxHeight]{\(a\gets c\)} \assign[\StruktBoxHeight]{\(c\gets tmp\)} \assert[\StruktBoxHeight]{\(a