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
|
% ===== Temporal Abstraction ===========================================
% ======================================================================
\setlength{\unitlength}{1mm}
\begin{picture}(125,21)(0,0)
\put(25,19){\makebox(0,0)[r]{abstract time:}}
\put(30,19){\line(1,0){100}}
\put(55,19){\makebox(0,0)[c]{$\bullet$}}
\put(55,17){\thicklines {\vector(0,-1){10}}}
\put(95,19){\makebox(0,0)[c]{$\bullet$}}
\put(95,17){\thicklines {\vector(0,-1){10}}}
\put(115,19){\makebox(0,0)[c]{$\bullet$}}
\put(115,17){\thicklines {\vector(0,-1){10}}}
\put(25,12){\makebox(0,0)[r]{\verb"f":}}
\put(25,5){\makebox(0,0)[r]{concrete time:}}
\put(30,5){\line(1,0){100}}
\multiput(35,5)(10,0){10}{\makebox(0,0)[c]{$\bullet$}}
\put(25,0){\makebox(0,0)[r]{\verb"g":}}
\put(35,0){\makebox(0,0)[c]{\verb"F"}}
\put(45,0){\makebox(0,0)[c]{\verb"F"}}
\put(55,0){\makebox(0,0)[c]{\verb"T"}}
\put(65,0){\makebox(0,0)[c]{\verb"F"}}
\put(75,0){\makebox(0,0)[c]{\verb"F"}}
\put(85,0){\makebox(0,0)[c]{\verb"F"}}
\put(95,0){\makebox(0,0)[c]{\verb"T"}}
\put(105,0){\makebox(0,0)[c]{\verb"F"}}
\put(115,0){\makebox(0,0)[c]{\verb"T"}}
\put(125,0){\makebox(0,0)[c]{\verb"F"}}
\end{picture}
|
