cprover
flatten_byte_extract_exceptiont Class Reference

#include <flatten_byte_extract_exceptions.h>

+ Inheritance diagram for flatten_byte_extract_exceptiont:
+ Collaboration diagram for flatten_byte_extract_exceptiont:

Public Member Functions

 flatten_byte_extract_exceptiont (const std::string &exception_message)
 

Detailed Description

Definition at line 19 of file flatten_byte_extract_exceptions.h.

Constructor & Destructor Documentation

◆ flatten_byte_extract_exceptiont()

flatten_byte_extract_exceptiont::flatten_byte_extract_exceptiont ( const std::string &  exception_message)
inlineexplicit

Definition at line 22 of file flatten_byte_extract_exceptions.h.


The documentation for this class was generated from the following file: