Start API Documentation stormpy.io JaniVariable JaniVariable¶ class JaniVariable¶ Bases: pybind11_object A Variable in JANI property expression_variable¶ expression variable for this variable property init_expression¶ property is_transient¶ property name¶ name of constant property type¶ type of the variable