as2fm.jani_generator.scxml_helpers.scxml_event.is_event_synched

as2fm.jani_generator.scxml_helpers.scxml_event.is_event_synched(event_name: str) → bool

Check if the event is synched, hence there should not be autogenerated self loops.

Parameters:

event_name – The name of the event to evaluate.