ParserError

Warning

The stormpy developer API is internal and can be subject to change.

class ParserError(message)

Bases: Exception

add_note(note, /)

Add a note to the exception

args

with_traceback(tb, /)

Set self.__traceback__ to tb and return self.