as2fm.jani_generator.jani_entries.jani_utils

Collection of various utilities for Jani entries.

Functions

generate_jani_variable(var_name, var_type[, ...])	Helper to make a JaniVariable object.
get_expression_array_length(expr)	Get the length of the array generated by the provided expression.
is_expression_array(expr)	Determine is an expression is an array operator ('av' or 'ac').
is_variable_array(variable)	Check if a variable is an array.