ClockType

class ClockType

Bases: JaniType

A clock type in JANI

property is_array_type

property is_basic_type

property is_bounded_type

property is_clock_type

property is_continuous_type