SymbolicModelDescription¶

class SymbolicModelDescription¶

class SymbolicModelDescription(program: stormpy.io.PrismProgram)

class SymbolicModelDescription(model: stormpy.io.JaniModel)

Bases: pybind11_object

Symbolic description of a model (Prism program or Jani model)

Create empty description

Construct from Prism program

Construct from Jani model

as_jani_model( self: stormpy.io.SymbolicModelDescription, ) → stormpy.io.JaniModel¶: Get the Jani model

as_prism_program( self: stormpy.io.SymbolicModelDescription, ) → stormpy.io.PrismProgram¶: Get the Prism program

get_parameter_names(self: stormpy.io.SymbolicModelDescription) → list[str]¶: Get the names of the parameters

get_undefined_constants( self: stormpy.io.SymbolicModelDescription, ) → list[stormpy.expressions.Variable]¶: Get the undefined constants

has_model(self: stormpy.io.SymbolicModelDescription) → bool¶: Whether the description contains a model

has_undefined_constants(self: stormpy.io.SymbolicModelDescription) → bool¶: Whether the description has undefined constants

is_jani_model(self: stormpy.io.SymbolicModelDescription) → bool¶: Whether the description is a Jani model

is_prism_program(self: stormpy.io.SymbolicModelDescription) → bool¶: Whether the description is a Prism program

parse_constant_definitions( self: stormpy.io.SymbolicModelDescription, constant_definition_string: str, ) → dict[stormpy.expressions.Variable, stormpy.expressions.Expression]¶: Parse a string of constant definitions

preprocess( constant_definition_string: str = '', ) → stormpy.io.SymbolicModelDescription

Substitute the given constant definitions

Substitute the constant definitions given as string