SimpleValuation

class SimpleValuation

Bases: Valuation

Values of the variables in a symbolic program state

property expression_manager

get_bit_vector_value(self: stormpy.models.SimpleValuation, variable) → int

Get bitvector value for expression variable

get_boolean_value(self: stormpy.models.SimpleValuation, variable) → bool

Get Boolean value for expression variable

get_integer_value(self: stormpy.models.SimpleValuation, variable) → int

Get integer value for expression variable

get_rational_value(self: stormpy.models.SimpleValuation, variable) → float

Get rational value for expression variable

get_value(var: Variable) → bool | int | float

Get the value of the given variable. :param var: Variable. :return Value of var.

to_json(

self: stormpy.models.SimpleValuation,

) → stormpy.datastructures.JsonContainer[stormpy.numbers.Rational]

Convert to JSON

to_string(self: stormpy.models.SimpleValuation, pretty: bool = True) → str

to string