as2fm.jani_generator.jani_entries.jani_utils.get_array_access_name_and_indexes

as2fm.jani_generator.jani_entries.jani_utils.get_array_access_name_and_indexes(expr: JaniExpression) → Tuple[str, List[int]]

Extract the identifier name and the list of access indexes from an aa expression.

Parameters:

expr – The array access Jani expression.

Returns:

A tuple with the name of the array var. and the accessed indexes.