Variable¶
- class Variable(other: stormpy.numbers.Variable)¶
- class Variable(name: str, type: stormpy.numbers.developer.VariableType = <VariableType.REAL: 1>)
- class Variable(type: stormpy.numbers.developer.VariableType = <VariableType.REAL: 1>)
Bases:
pybind11_object- property id¶
- property is_no_variable¶
- property name¶
- property rank¶
- property type¶