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.
- __init__()
Methods
__init__
()add_constant
(constant_name, constant_type, ...)add_feature
(feature)add_jani_automaton
(automaton)add_jani_constant
(constant)add_jani_property
(property)add_jani_variable
(variable)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_variables
()remove_edges_with_action
(action)Remove the edges in all automaton with the action name provided.
set_name
(name)- add_system_sync(system: JaniComposition)
Specify how the different automata are composed together.
- remove_edges_with_action(action: str)
Remove the edges in all automaton with the action name provided.
- Parameters:
action – The name of the action to remove.