as2fm.jani_generator.jani_entries.jani_expression_generator.distribution_expression

as2fm.jani_generator.jani_entries.jani_expression_generator.distribution_expression(distribution: str, arguments: list) → JaniDistribution

Generate a distribution expression

Parameters:

• distribution – The statistical distribution to pick from

• arguments – The parameters for configuring the statistical distribution