blob: 305fc95e88ae677a4198ce286cccda0b7f3cb034 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
%%
%% 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<c\)}
\ifend
\assert[\StruktBoxHeight]{\(a\le c\)}
\ifthenelse[\StruktBoxHeight]{2}{1}{\(a\le b\)}{j}{n}
\assert[\StruktBoxHeight]{\(a\le b \wedge a\le c\)}
\ifthenelse[\StruktBoxHeight]{1}{1}{\(b\le c\)}{j}{n}
\assert[\StruktBoxHeight]{\(a\le b \le c\)}
\change
\assert[\StruktBoxHeight]{\(a \le c<b\)}
\assign[\StruktBoxHeight]{\(tmp\gets c\)}
\assign[\StruktBoxHeight]{\(c\gets b\)}
\assign[\StruktBoxHeight]{\(b\gets tmp\)}
\assert[\StruktBoxHeight]{\(a\le b<c\)}
\ifend
\change
\assert[\StruktBoxHeight]{\(b < a\le c\)}
\assign[\StruktBoxHeight]{\(tmp\gets a\)}
\assign[\StruktBoxHeight]{\(a\gets b\)}
\assign[\StruktBoxHeight]{\(b\gets tmp\)}
\assert[\StruktBoxHeight]{\(a<b\le c\)}
\ifend
\assert[\StruktBoxHeight]{\(a\le b \le c\)}
\end{struktogramm}
\end{document}
%%
%%
%% End of file `struktex-test-2.tex'.
|
