as2fm.jani_generator.scxml_helpers.scxml_event.EventsHolder

class as2fm.jani_generator.scxml_helpers.scxml_event.EventsHolder

Bases: object

Class to hold all events in the existing automatons.

__init__()

Methods

__init__()
add_event(event)
get_event(event_name)
get_events()
has_event(event_name)