Start API Documentation stormpy.expressions ExpressionType ExpressionType¶ class ExpressionType¶ Bases: pybind11_object The type of an expression property is_boolean¶ property is_integer¶ property is_rational¶ property is_string¶