as2fm.jani_generator.jani_entries.jani_model.JaniModel

class as2fm.jani_generator.jani_entries.jani_model.JaniModel

Bases: object

Class representing a complete Jani Model, containing all necessary information to generate a plain Jani file.

Methods

`__init__`()
`add_constant`(constant_name, constant_type, ...)
`add_feature`(feature)
`add_jani_automaton`(automaton)
`add_jani_constant`(constant)
`add_jani_property`(property)	Add a single property to the model.
`add_jani_variable`(variable)
`add_jani_variables`(variables)
`add_system_sync`(system)	Specify how the different automata are composed together.
`add_variable`(variable_name, variable_type[, ...])
`as_dict`()
`from_dict`(model_dict)
`get_automata`()
`get_automaton`(automaton_name)
`get_constants`()
`get_features`()
`get_name`()
`get_properties`()	Get all the properties in the model.
`get_variables`()
`remove_edges_with_action`(action)	Remove the edges in all automaton with the action name provided.
`set_name`(name)

add_jani_property(property: JaniProperty): Add a single property to the model.

add_system_sync(system: JaniComposition): Specify how the different automata are composed together.

get_properties() → List[JaniProperty]: Get all the properties in the model.

remove_edges_with_action(action: str)

Remove the edges in all automaton with the action name provided.