RetroSearch Browse

Showing content from https://z3prover.github.io/api/html/classz3_1_1exception.html below:

Exception used to sign API usage errors. More...

Exception used to sign API usage errors.

Definition at line 88 of file z3++.h.

◆ ~exception() ◆ exception() ◆ msg() char const* msg ( ) const inline

Definition at line 93 of file z3++.h.

93

{

return

m_msg.c_str(); }

◆ what() char const* what ( ) const throw ( ) inline

Definition at line 94 of file z3++.h.

94

{

return

m_msg.c_str(); }

◆ operator<< std::ostream& operator<< ( std::ostream & out, exception const & e ) friend

Definition at line 97 of file z3++.h.

97

{ out << e.msg();

return

out; }

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4