as2fm.jani_generator.jani_entries.jani_utils.get_expression_array_length

as2fm.jani_generator.jani_entries.jani_utils.get_expression_array_length(expr: JaniExpression) → int

Get the length of the array generated by the provided expression.