as2fm.jani_generator.jani_entries.jani_expression_generator.array_create_operator

as2fm.jani_generator.jani_entries.jani_expression_generator.array_create_operator(var, length, exp) → JaniExpression

Generate an array initialization expression

Parameters:

• var – The name of an int variable, used to iterate over the array indexes

• length – The length of the array

• exp – The expression to initialize the array with, based on the variable in var