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()