as2fm.jani_generator.jani_entries.jani_helpers.expand_random_variables_in_jani_model

as2fm.jani_generator.jani_entries.jani_helpers.expand_random_variables_in_jani_model(model: JaniModel, *, n_options: int) → None

Find all expression containing the ‘distribution’ expression and expand them.