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.