as2fm.jani_generator.jani_entries.jani_expression_generator.if_operator

as2fm.jani_generator.jani_entries.jani_expression_generator.if_operator(condition, true_value, false_value) JaniExpression