BoundedType

class BoundedType

Bases: JaniType

A bounded type in JANI

property base_type

the base type

property is_array_type

property is_basic_type

property is_bounded_type

property is_clock_type

property is_continuous_type

property lower_bound

the lower bound

property upper_bound

the upper bound