as2fm.jani_generator.jani_entries.jani_convince_expression_expansion.expand_expression

as2fm.jani_generator.jani_entries.jani_convince_expression_expansion.expand_expression(expression: JaniExpression | List[JaniExpression], jani_constants: Dict[str, JaniConstant]) → JaniExpression | List[JaniExpression]

Given an expression (or a list of them), expand all operators to use only plain features.