Start API Documentation stormpy.io JaniType JaniType¶ class JaniType¶ Bases: pybind11_object A Variable Type in JANI property is_array_type¶ property is_basic_type¶ property is_bounded_type¶ property is_clock_type¶ property is_continuous_type¶