stormpy.expressions

Symbolic expressions, variables and expression parsing.

Classes

Expression(self, other_expression)	Holds an expression
ExpressionManager(self)	Manages variables for expressions
ExpressionParser(self, expression_manager)	Parser for storm-expressions
ExpressionType	The type of an expression
OperatorType(*values)	Type of an operator (of any sort)
Variable	Represents a variable