as2fm.jani_generator.jani_entries.jani_property.RewardProperty

class as2fm.jani_generator.jani_entries.jani_property.RewardProperty(prop_values: Dict[str, Any])

Bases: object

E properties

__init__(prop_values: Dict[str, Any])

Methods

__init__(prop_values)
is_valid()