cprover
unsupported_operation_exceptiont Member List

This is the complete list of members for unsupported_operation_exceptiont, including all inherited members.

messageunsupported_operation_exceptiontprivate
unsupported_operation_exceptiont(std::string message)unsupported_operation_exceptiontexplicit
what() const overrideunsupported_operation_exceptiontvirtual
~cprover_exception_baset()=defaultcprover_exception_basetvirtual