as2fm.jani_generator.jani_entries.jani_convince_expression_expansion.expand_distribution_expressions

as2fm.jani_generator.jani_entries.jani_convince_expression_expansion.expand_distribution_expressions(expression: JaniExpression, *, n_options: int = 101) → List[JaniExpression]

Traverse the expression and substitute each distribution with n expressions.

This is a workaround, until we can support it in our model checker.

Parameters:

• expression – The expression to expand.

• n_options – How many options to generate for each encountered distribution.

Returns:

One expression, if no distribution is found, n_options^n_distributions expr. otherwise.