heptagon/manual/figures/updown-automaton.fig
Gwenal Delaval 11493f3274 Manual
UpDown automaton (figure)

Changes in the structure: contracts within Section "Syntax and informal semantics"
2012-07-05 17:26:29 +02:00

25 lines
865 B
Text

#FIG 3.2 Produced by xfig version 3.2.5b
Landscape
Center
Metric
A4
100.00
Single
-2
1200 2
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1350 1350 315 315 1350 1350 1350 1665
1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3150 1350 315 315 3150 1350 3150 1665
3 0 0 1 0 7 50 -1 -1 0.000 0 1 0 3
0 0 1.00 60.00 120.00
1575 1125 2250 900 2925 1125
0.000 1.000 0.000
3 0 0 1 0 7 50 -1 -1 0.000 0 1 0 3
0 0 1.00 60.00 120.00
2925 1575 2250 1800 1575 1575
0.000 1.000 0.000
4 1 0 50 -1 0 12 0.0000 6 150 525 3150 1395 Down\001
4 0 0 50 -1 0 12 0.0000 6 195 1935 3510 1395 \\lstinline{x = last x - 1}\001
4 1 0 50 -1 0 12 0.0000 6 195 255 1350 1395 Up\001
4 2 0 50 -1 0 12 0.0000 6 195 1995 990 1395 \\lstinline{x = last x + 1}\001
4 1 0 50 -1 0 12 0.0000 6 210 1815 2250 900 $\\mathtt{x} \\geq 10$\001
4 1 0 50 -1 0 12 0.0000 6 210 1650 2250 1935 $\\mathtt{x} \\leq 0$\001