as2fm.jani_generator.scxml_helpers.roaml_model.FullModel

class as2fm.jani_generator.scxml_helpers.roaml_model.FullModel(max_time: Optional[int] = None, max_array_size: int = 100, bt_tick_rate: float = 1.0, bt_tick_when_not_running: bool = False, data_declarations: List[Tuple[str, str]] = <factory>, bt: Optional[str] = None, plugins: List[str] = <factory>, skills: List[str] = <factory>, components: List[str] = <factory>, properties: List[str] = <factory>)

Bases: object

__init__(max_time: int | None = None, max_array_size: int = 100, bt_tick_rate: float = 1.0, bt_tick_when_not_running: bool = False, data_declarations: ~typing.List[~typing.Tuple[str, str]] = <factory>, bt: str | None = None, plugins: ~typing.List[str] = <factory>, skills: ~typing.List[str] = <factory>, components: ~typing.List[str] = <factory>, properties: ~typing.List[str] = <factory>) → None

Methods

__init__([max_time, max_array_size, ...])

Attributes

bt
bt_tick_rate
bt_tick_when_not_running
max_array_size
max_time
data_declarations
plugins
skills
components
properties