as2fm.jani_generator.jani_entries.jani_composition.JaniComposition

class as2fm.jani_generator.jani_entries.jani_composition.JaniComposition(composition_dict: Dict[str, Any] | None = None)

Bases: object

Methods

`__init__`([composition_dict])
`add_element`(element)	Append a new automaton name in the composition.
`add_sync`(sync_name, syncs)	Add a new synchronization between the elements.
`as_dict`()
`from_dict`(composition_dict)
`get_elements`()	Get the elements of the composition.
`get_syncs_for_element`(element)	Get the existing syncs for a specific element (=automaton).
`is_valid`()

add_element(element: str): Append a new automaton name in the composition.

add_sync(sync_name: str, syncs: Dict[str, str])

Add a new synchronization between the elements.

Parameters:

sync_name – The name of the synchronization action
syncs – A dictionary relating each automaton to the action to be executed in the sync

get_syncs_for_element(element: str) → List[str]: Get the existing syncs for a specific element (=automaton).