as2fm.jani_generator.jani_entries.jani_utils

Collection of various utilities for Jani entries.

Functions

get_all_variables_and_instantiations(...)	Retrieve all variables and their instantiations from the Jani automaton.
get_array_type_and_size(jani_automaton, var_name)	Generate the ArrayInfo obj.
get_variable_type(jani_automaton, variable_name)	Retrieve the variable type from the Jani automaton.
is_variable_array(jani_automaton, variable_name)	Check if a variable is an array.