as2fm.jani_generator.jani_entries.jani_expression_generator.array_create_operator

as2fm.jani_generator.jani_entries.jani_expression_generator.array_create_operator(array_info: ArrayInfo, *, curr_dim: int = 1) → JaniExpression

Generate an empty array based on the provided array_info

Parameters:

• array_info – A struct containing all information related to the array to create.

• curr_dim – The current dimension under expansion. Used for recursion.