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