Update src/as2fm/jani_generator/jani_entries/jani_assignment.py

Signed-off-by: Christian Henkel <[email protected]>
convince-project · Dec 16, 2024 · f34e42e · f34e42e
1 parent a554237
commit f34e42e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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]):