ModelReference

Warning

The stormpy developer API is internal and can be subject to change.

class ModelReference

Bases: pybind11_object

Lightweight Wrapper around results

get_boolean_value(

self: stormpy.developer._core.ModelReference,

variable: stormpy.expressions.Variable,

) → bool

Get a value for a boolean variable

get_integer_value(

self: stormpy.developer._core.ModelReference,

variable: stormpy.expressions.Variable,

) → int

Get a value for an integer variable

get_rational_value(

self: stormpy.developer._core.ModelReference,

variable: stormpy.expressions.Variable,

) → float

Get a value (as double) for an rational variable