PrismModule¶

class PrismModule¶

Bases: pybind11_object

A module in a Prism program

property boolean_variables¶: All boolean Variables of this module

property commands¶: Commands in the module

get_boolean_variable(self: stormpy.io.PrismModule, variable_name: str)¶

get_command_indices_by_action_index( self: stormpy.io.PrismModule, action_index: SupportsInt | SupportsIndex, ) → set[int]¶

get_integer_variable(self: stormpy.io.PrismModule, variable_name: str)¶

property integer_variables¶: All integer Variables of this module

property name¶: Name of the module