mirror of
http://172.16.200.102/MOISE/Timed-Altarica-To-Fiacre-Translator.git
synced 2025-12-27 00:13:57 +01:00
23 lines
1.4 KiB
TeX
23 lines
1.4 KiB
TeX
\relax
|
|
\@writefile{toc}{\contentsline {section}{\numberline {1}Preliminaries}{1}}
|
|
\@writefile{toc}{\contentsline {section}{\numberline {2}Use}{2}}
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Model file}{2}}
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Init file}{2}}
|
|
\newlabel{init}{{2.2}{3}}
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Query specification}{3}}
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Algorithm selection}{4}}
|
|
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.1}Discrete time}{4}}
|
|
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.4.2}Continuous time}{4}}
|
|
\@writefile{toc}{\contentsline {section}{\numberline {3}Output}{5}}
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Textual output}{5}}
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Graphical output for continuous time algorithms}{6}}
|
|
\newlabel{nobounds}{{1(a)}{6}}
|
|
\newlabel{sub@nobounds}{{(a)}{6}}
|
|
\newlabel{bounds}{{1(b)}{6}}
|
|
\newlabel{sub@bounds}{{(b)}{6}}
|
|
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Output examples for continuous time algorithms}}{6}}
|
|
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {no bounds}}}{6}}
|
|
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {bounds}}}{6}}
|
|
\newlabel{output}{{1}{6}}
|
|
\@writefile{toc}{\contentsline {section}{\numberline {4}Note on queries}{6}}
|