Exception

• class bitwuzla::Exception

namespace bitwuzla {

class Exception : public std::exception

Subclassed by bitwuzla::parser::Exception

Public Functions

Exception(const std::string &msg)

Constructor.

Parameters:

msg – The exception message.

Exception(const std::stringstream &stream)

Constructor.

Parameters:

stream – The exception message given as a std::stringstream.

const std::string &msg() const

Get the exception message.

Returns:

The exception message.

}