as2fm.jani_generator.jani_entries.jani_value.JaniValue

class as2fm.jani_generator.jani_entries.jani_value.JaniValue(value: int | float | bool | dict)

Bases: object

Class containing Jani Constant Values

__init__(value: int | float | bool | dict)

Methods

__init__(value)
as_dict()
is_valid()
value()