as2fm.jani_generator.scxml_helpers.scxml_expression.ArrayInfo

class as2fm.jani_generator.scxml_helpers.scxml_expression.ArrayInfo(array_type: Type[int | float], array_max_size: int)

Bases: object

__init__(array_type: Type[int | float], array_max_size: int) None

Methods

__init__(array_type, array_max_size)

Attributes

array_type

array_max_size