as2fm.jani_generator.jani_entries.jani_utils.is_variable_array

as2fm.jani_generator.jani_entries.jani_utils.is_variable_array(jani_automaton: JaniAutomaton, variable_name: str | None) → bool

Check if a variable is an array.

Parameters:

• jani_automaton – The Jani automaton to check the variable in.

• variable_name – The name of the variable to check.

Returns:

True if the variable is an array, False otherwise.