| |
- builtins.Exception(builtins.BaseException)
-
- Z3Exception
- ctypes.c_void_p(_ctypes._SimpleCData)
-
- ApplyResultObj
- Ast
- AstMapObj
- AstVectorObj
- Config
- Constructor
- ConstructorList
- ContextObj
- FixedpointObj
- FuncDecl
- FuncEntryObj
- FuncInterpObj
- GoalObj
- Literals
- Model
- ModelObj
- OptimizeObj
- ParamDescrs
- Params
- ParserContextObj
- Pattern
- ProbeObj
- RCFNumObj
- SimplifierObj
- SolverCallbackObj
- SolverObj
- Sort
- StatsObj
- Symbol
- TacticObj
class Z3Exception(builtins.Exception) |
|
Z3Exception(value)
|
|
- Method resolution order:
- Z3Exception
- builtins.Exception
- builtins.BaseException
- builtins.object
Methods defined here:
- __init__(self, value)
- Initialize self. See help(type(self)) for accurate signature.
- __str__(self)
- Return str(self).
Data descriptors defined here:
- __weakref__
- list of weak references to the object
Static methods inherited from builtins.Exception:
- __new__(*args, **kwargs) class method of builtins.Exception
- Create and return a new object. See help(type) for accurate signature.
Methods inherited from builtins.BaseException:
- __getattribute__(self, name, /)
- Return getattr(self, name).
- __reduce__(self, /)
- Helper for pickle.
- __repr__(self, /)
- Return repr(self).
- __setstate__(self, object, /)
- add_note(self, object, /)
- Exception.add_note(note) --
add a note to the exception
- with_traceback(self, object, /)
- Exception.with_traceback(tb) --
set self.__traceback__ to tb and return self.
Data descriptors inherited from builtins.BaseException:
- __cause__
- exception cause
- __context__
- exception context
- __dict__
- __suppress_context__
- __traceback__
- args
| |