as2fm.jani_generator.scxml_helpers.scxml_event

Module to hold scxml even information to convert to jani syncs later.

Functions

is_event_synched(event_name)

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

Classes

Event(name[, data_struct])
EventReceiver(automaton_name, edge_action_name)
EventSender(automaton_name, edge_action_name)
EventsHolder()	Class to hold all events in the existing automatons.