as2fm.jani_generator.jani_entries.jani_expression_generator.array_access_operator

as2fm.jani_generator.jani_entries.jani_expression_generator.array_access_operator(exp, index) JaniExpression

Generate an array access expression

Parameters:
  • exp – The array variable to access

  • index – The index to access on exp