From 830be4f7fa19b098f1caf1e22a9b4e441d330f46 Mon Sep 17 00:00:00 2001 From: cs-99 <ckhuemonma@web.de> Date: Sun, 25 Jul 2021 16:08:03 +0200 Subject: [PATCH] --- sections/konzept.tex | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/sections/konzept.tex b/sections/konzept.tex index c4d861d..6b3c137 100644 --- a/sections/konzept.tex +++ b/sections/konzept.tex @@ -67,8 +67,8 @@ Zur Verwendung des Adapters müssen primär Veränderungen in der Funktion \text mappings.push_back(map); output_subscribers.push_back(nh.subscribe("/position", 1, mappings_callback_to_TRON<std_msgs::Int32>)); - // 1M Mikrosekunden (1 Sekunde) pro Uppaal Zeiteinheit - // 100 Zeiteinheiten lang testen - set_time_unit_and_timeout(1000000L, 100); - -\end{lstlisting} \ No newline at end of file + // 1000 Mikrosekunden pro Uppaal Zeiteinheit + // 100000 Zeiteinheiten lang testen + set_time_unit_and_timeout(1000, 100000); +\end{lstlisting} +Der Channel \textit{position} sowie die Variable \textit{pos} sind in \cref{konzept:uppaal_tor} nicht dargestellt, werden hier aber verwendet um einen Output-Channel sowie das Übertragen einer Variable zu demonstrieren. \ No newline at end of file -- GitLab