as2fm.jani_generator.jani_entries.jani_expression_support

Expand expressions into jani.

Functions

expand_distribution_expressions(expression, ...)	Traverse the expression and substitute each distribution with n expressions.
expand_expression(expression, jani_constants)	Given an expression (or a list of them), expand all operators to use only plain features.
random_operator()	Function to get a random number between 0 and 1 in the Jani Model.