Start API Documentation stormpy.exceptions StormWarning StormWarning¶ class StormWarning(message: str)¶ Bases: Warning Base class for warnings in Storm. Constructor. Parameters: message (str) – Warning message. add_note(note, /)¶ Add a note to the exception args¶ with_traceback(tb, /)¶ Set self.__traceback__ to tb and return self.