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

__init__(composition_dict: Dict[str, Any] | None = None)

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_elements()

Get the elements of the composition.

get_syncs_for_element(element: str) → List[str]

Get the existing syncs for a specific element (=automaton).