as2fm.jani_generator.jani_entries.jani_property.PathPropertyStepBounds

class as2fm.jani_generator.jani_entries.jani_property.PathPropertyStepBounds(bound_values: Dict[str, Any])

Bases: object

__init__(bound_values: Dict[str, Any])

Methods

__init__(bound_values)
as_dict(constants)
is_valid()