as2fm.jani_generator.scxml_helpers.top_level_interpreter.FullModel

class as2fm.jani_generator.scxml_helpers.top_level_interpreter.FullModel(max_time: Optional[int] = None, max_array_size: int = 100, bt_tick_rate: float = 1.0, 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: 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

max_array_size

max_time

plugins

skills

components

properties