as2fm.jani_generator.jani_entries.jani_property.JaniProperty

class as2fm.jani_generator.jani_entries.jani_property.JaniProperty(name, expression)

Bases: object

__init__(name, expression)

Methods

__init__(name, expression)
as_dict(constants)
from_dict(property_dict)