as2fm.jani_generator.scxml_helpers.scxml_to_jani_interfaces_helpers.merge_conditions

as2fm.jani_generator.scxml_helpers.scxml_to_jani_interfaces_helpers.merge_conditions(previous_conditions: List[JaniExpression] | None, new_condition: JaniExpression | None = None) → JaniExpression

This merges negated conditions of previous if-clauses with the condition of the current if-clause. This is necessary to properly implement the if-else semantics of SCXML by parallel outgoing transitions in Jani.

Parameters:

• previous_conditions – The conditions of the previous if-clauses. (not yet negated)

• new_condition – The condition of the current if-clause.

Returns:

The merged condition.