as2fm.jani_generator.jani_entries.jani_utils.is_expression_variable_or_array_access

as2fm.jani_generator.jani_entries.jani_utils.is_expression_variable_or_array_access(expr: JaniExpression) → bool

Determine whether an expression refers to a variable (with or without array access).