as2fm.jani_generator.jani_entries.jani_utils.is_variable_array

as2fm.jani_generator.jani_entries.jani_utils.is_variable_array(variable: JaniVariable) → bool

Check if a variable is an array.

Parameters:

variable – The instance of the variable to check.

Returns:

True if the variable is an array, False otherwise.