class

Z3::Exception

Inherits Exception < Reference < Object