ExpressionManager

class ExpressionManager(self: stormpy.expressions.ExpressionManager)

Bases: pybind11_object

Manages variables for expressions

Constructor

boolean(self: stormpy.expressions.ExpressionManager, boolean: bool)

Create expression from boolean

declare_boolean_variable(

self: stormpy.expressions.ExpressionManager,

name: str,

auxiliary: bool = False,

)

create Boolean variable

declare_integer_variable(

self: stormpy.expressions.ExpressionManager,

name: str,

auxiliary: bool = False,

)

create Integer variable

declare_rational_variable(

self: stormpy.expressions.ExpressionManager,

name: str,

auxiliary: bool = False,

)

create Rational variable

declare_string_variable(

self: stormpy.expressions.ExpressionManager,

name: str,

auxiliary: bool = False,

)

create String variable

get_variable(self: stormpy.expressions.ExpressionManager, name: str)

get variably by name

get_variables(self: stormpy.expressions.ExpressionManager)

Retrieves the set of all variables known to this manager.

has_variable(self: stormpy.expressions.ExpressionManager, name: str) → bool

checks whether a variable with a name is already taken

integer(

self: stormpy.expressions.ExpressionManager,

integer: SupportsInt | SupportsIndex,

)

Create expression from integer number

rational(

self: stormpy.expressions.ExpressionManager,

rational: stormpy.numbers.Rational,

)

Create expression from rational number