Start API Documentation stormpy.io BasicType BasicType¶ class BasicType¶ Bases: JaniType A basic type in JANI property inner_type¶ the inner type property is_array_type¶ property is_basic_type¶ property is_bounded_type¶ property is_clock_type¶ property is_continuous_type¶