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