as2fm.jani_generator.jani_entries.jani_expression_generator.array_access_operator
- as2fm.jani_generator.jani_entries.jani_expression_generator.array_access_operator(exp, index: int | JaniExpression | List[int] | List[JaniExpression]) JaniExpression
Generate an array access expression, for 1 or N-dimensional arrays.
E.g. array_access_operator(exp = [[1,2,3],[4,5,6]], index = [1,0]) = 4
- Parameters:
exp – The array variable to access.
index – The index to access on exp. For N-D arrays, it expects a list of N values.