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

_reason	cprover_exception_baset	protected
cprover_exception_baset(std::string reason)	cprover_exception_baset	inlineexplicitprotected
cprover_exception_baset()=default	cprover_exception_baset
cprover_exception_baset(cprover_exception_baset &&)=default	cprover_exception_baset
cprover_exception_baset(const cprover_exception_baset &src)	cprover_exception_baset	inline
cprover_exception_baset(std::string reason)	cprover_exception_baset	inlineexplicitprotected
reason	cprover_exception_baset	protected
reason() const	cprover_exception_baset	inline
unsupported_operation_exceptiont(std::string message)	unsupported_operation_exceptiont	explicit
what() const	cprover_exception_baset	virtual
what() const	cprover_exception_baset	virtual
~cprover_exception_baset()=default	cprover_exception_baset	virtual
~cprover_exception_baset()=default	cprover_exception_baset	virtual