as2fm.jani_generator.scxml_helpers.scxml_event.EventReceiver

class as2fm.jani_generator.scxml_helpers.scxml_event.EventReceiver(automaton_name: str, edge_action_name: str)

Bases: object

__init__(automaton_name: str, edge_action_name: str)

Methods

__init__(automaton_name, edge_action_name)