From f34e42edc8f23b358290904aad9f2c61b87065ac Mon Sep 17 00:00:00 2001 From: Christian Henkel <6976069+ct2034@users.noreply.github.com> Date: Mon, 16 Dec 2024 16:40:24 +0100 Subject: [PATCH] Update src/as2fm/jani_generator/jani_entries/jani_assignment.py Signed-off-by: Christian Henkel <6976069+ct2034@users.noreply.github.com> --- src/as2fm/jani_generator/jani_entries/jani_assignment.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/as2fm/jani_generator/jani_entries/jani_assignment.py b/src/as2fm/jani_generator/jani_entries/jani_assignment.py index 40bc94a3..4bd63998 100644 --- a/src/as2fm/jani_generator/jani_entries/jani_assignment.py +++ b/src/as2fm/jani_generator/jani_entries/jani_assignment.py @@ -45,6 +45,7 @@ def get_expression(self): return self._value def get_index(self) -> int: + """Returns the index, i.e. the number that defines the order of execution in Jani.""" return self._index def as_dict(self, constants: Dict[str, JaniConstant]):