ExpressionParser

class ExpressionParser(

self: stormpy.expressions.ExpressionParser,

expression_manager: stormpy.expressions.ExpressionManager,

)

Bases: pybind11_object

Parser for storm-expressions

Expression Manager to use

parse_from_string(

self: stormpy.expressions.ExpressionParser,

string: str,

ignore_error: bool = False,

) → stormpy.expressions.Expression

parse

set_identifier_mapping(

self: stormpy.expressions.ExpressionParser,

arg0: collections.abc.Mapping[str, stormpy.expressions.Expression],

) → None

sets identifiers