Mercurial > hg > truffle
annotate doc/design/graph_test.tex @ 2667:c4922e69711e
fixed link in domake script
author | Lukas Stadler <lukas.stadler@jku.at> |
---|---|
date | Thu, 12 May 2011 11:17:31 +0200 |
parents | 550b291f56c4 |
children |
rev | line source |
---|---|
2551
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
1 \documentclass[twocolumn]{svjour3} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
2 \usepackage[pdftex]{graphicx} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
3 \usepackage{environ} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
4 \usepackage{amsmath} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
5 \usepackage{amsfonts} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
6 \usepackage[english]{babel} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
7 \usepackage[utf8]{inputenc} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
8 \usepackage{lmodern} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
9 \usepackage[T1]{fontenc} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
10 \usepackage{color} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
11 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
12 \input{graphdrawing} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
13 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
14 \renewcommand*\descriptionlabel[1]{\hspace\labelsep\normalfont\bf #1} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
15 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
16 \newcommand{\Sa}{{\Large$^*$}} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
17 \newcommand{\Sb}{{\Large$^\dag$}} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
18 \newcommand{\Sc}{{\Large$^\S$}} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
19 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
20 \smartqed % flush right qed marks, e.g. at end of proof |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
21 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
22 \journalname{Test} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
23 \def\makeheadbox{{% |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
24 \hbox to0pt{\vbox{\baselineskip=10dd\hrule\hbox |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
25 to\hsize{\vrule\kern3pt\vbox{\kern3pt |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
26 \hbox{\bfseries Test} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
27 \kern3pt}\hfil\kern3pt\vrule}\hrule}% |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
28 \hss}}} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
29 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
30 \begin{document} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
31 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
32 \author{} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
33 \institute{} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
34 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
35 \date{Created: \today} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
36 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
37 \title{Test} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
38 \subtitle{} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
39 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
40 \maketitle |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
41 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
42 \begin{digraphenv}{scale=0.5}{layout1} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
43 \nodestart |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
44 \nodeend |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
45 \data{a}{start} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
46 \data{b}{start} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
47 \node{a}{a} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
48 \node{b}{b} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
49 \nodesplit{if}{if} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
50 \node{nop}{nop} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
51 \nodebi{add}{+} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
52 \controllabel{if:succ1}{nop} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
53 \controllabel{if:succ2}{add} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
54 \datalabel{add:in1}{a} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
55 \datalabel{add:in2}{b} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
56 \control{nop}{end} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
57 \end{digraphenv} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
58 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
59 \begin{digraphenv}{scale=0.5}{layout2} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
60 \node{node1}{nop} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
61 \nodebi{node2}{+} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
62 \nodetri{node3}{phi} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
63 \nodesplit{node4}{if} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
64 \end{digraphenv} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
65 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
66 \begin{digraphenv}{scale=0.5}{layout3} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
67 \node{a}{a} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
68 \node{b}{b} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
69 \nodesplit{if}{if} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
70 \node{nop}{nop} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
71 \nodebi{add}{+} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
72 \controllabel{if:succ1}{nop} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
73 \controllabel{if:succ2}{add} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
74 \datalabel{add:in1}{a} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
75 \datalabel{add:in2}{b} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
76 \end{digraphenv} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
77 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
78 \begin{digraphenv}{scale=0.5}{layout4} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
79 \node{arr}{arr} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
80 \node{i}{i} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
81 \node{j}{j} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
82 \node{v}{v} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
83 \nodetri{astore1}{astore} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
84 \datalabel{astore1:in1}{arr} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
85 \datalabel{astore1:in2}{i} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
86 \datalabel{astore1:in3}{v} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
87 \nodebi{add}{+} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
88 \datalabel{add:in1}{i} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
89 \datalabel{add:in2}{j} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
90 \nodetri{astore2}{astore} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
91 \datalabel{astore2:in1}{arr} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
92 \datalabel{astore2:in2}{add} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
93 \datalabel{astore2:in3}{v} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
94 \cnode{fs}{framestate}{lightblue} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
95 \control{fs}{astore2} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
96 \data{fs}{astore1} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
97 % \data{fs}{arr} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
98 % \data{fs}{i} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
99 % \data{fs}{j} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
100 % \data{fs}{v} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
101 \control{astore1}{astore2} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
102 \end{digraphenv} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
103 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
104 \begin{digraphenv}{scale=0.5}{layout5} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
105 \nodestart |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
106 \nodeend |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
107 % input projections |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
108 \node{a}{proj:a} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
109 \node{b}{proj:b} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
110 \data{a}{start} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
111 \data{b}{start} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
112 % if |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
113 \nodebi{cmp1}{<} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
114 \datalabel{cmp1:in1}{a} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
115 \datalabel{cmp1:in2}{b} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
116 \nodesplit{if}{if} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
117 \data{if}{cmp1} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
118 \control{start}{if} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
119 % branches |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
120 \nodebi{add1}{+} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
121 \datalabel{add1:in1}{a} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
122 \datalabel{add1:in2}{b} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
123 \nodebi{sub1}{-} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
124 \datalabel{sub1:in1}{a} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
125 \datalabel{sub1:in2}{b} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
126 \controllabel{if:succ1}{add1} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
127 \controllabel{if:succ2}{sub1} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
128 % merge |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
129 \nodebi{merge}{merge} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
130 \control{add1}{merge} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
131 \control{sub1}{merge} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
132 % phi |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
133 \nodebi{phi1}{phi} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
134 \datalabel{phi1:in1}{add1} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
135 \datalabel{phi1:in2}{sub1} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
136 % ret |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
137 \node{ret}{ret} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
138 \data{ret}{phi1} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
139 \control{merge}{ret} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
140 \control{ret}{end} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
141 \end{digraphenv} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
142 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
143 \end{document} |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
144 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
145 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
146 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
147 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
148 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
149 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
150 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
151 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
152 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
153 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
154 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
155 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
156 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
157 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
158 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
159 |
550b291f56c4
doc: small changes to graphs, graph test file
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff
changeset
|
160 |