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.