as2fm.jani_generator.jani_entries.jani_value.JaniValue

class as2fm.jani_generator.jani_entries.jani_value.JaniValue(value)

Bases: object

Class containing Jani Constant Values

__init__(value)

Methods

__init__(value)

as_dict()

is_valid()

value()