ContinuousType

class ContinuousType

Bases: JaniType

A continuous type in JANI

property is_array_type

property is_basic_type

property is_bounded_type

property is_clock_type

property is_continuous_type