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