NoPicklingSupport

Warning

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

class NoPicklingSupport

Bases: Exception

add_note(note, /)

Add a note to the exception

args

with_traceback(tb, /)

Set self.__traceback__ to tb and return self.