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]):