Variable

class Variable

Bases: pybind11_object

Represents a variable

get_expression(self: stormpy.expressions.Variable)

Get expression from variable

has_bit_vector_type(self: stormpy.expressions.Variable) → bool

Check if the variable is of bitvector type

has_boolean_type(self: stormpy.expressions.Variable) → bool

Check if the variable is of boolean type

has_integer_type(self: stormpy.expressions.Variable) → bool

Check if the variable is of integer type

has_numerical_type(self: stormpy.expressions.Variable) → bool

Check if the variable is of numerical type

has_rational_type(self: stormpy.expressions.Variable) → bool

Check if the variable is of rational type

has_string_type(self: stormpy.expressions.Variable) → bool

Check if the variable is of string type

property index

Variable index

property manager

Variable manager

property name

Variable name

property offset

Variable offset (used e.g., in dds)