as2fm.jani_generator.jani_entries.jani_utils.get_all_variables_and_instantiations

as2fm.jani_generator.jani_entries.jani_utils.get_all_variables_and_instantiations(jani_automaton: JaniAutomaton) → Dict[str, Any]

Retrieve all variables and their instantiations from the Jani automaton.

Parameters:

jani_automaton – The Jani automaton to retrieve the variables from.

Returns:

A dictionary mapping each variable to a dummy value