non_constant_widtht Class Reference

#include <flatten_byte_extract_exceptions.h>

Inheritance diagram for non_constant_widtht:

Collaboration diagram for non_constant_widtht:

Public Member Functions
	non_constant_widtht (const exprt &src, const exprt &max_bytes)
const char *	what () const optional_noexcept override
Public Member Functions inherited from flatten_byte_extract_exceptiont
	flatten_byte_extract_exceptiont (const std::string &exception_message)

Private Attributes
exprt	src
exprt	max_bytes
std::string	computed_error_message

Detailed Description

Definition at line 89 of file flatten_byte_extract_exceptions.h.

Constructor & Destructor Documentation

non_constant_widtht()

non_constant_widtht::non_constant_widtht ( const exprt &  src, const exprt &  max_bytes  )

inline

Definition at line 93 of file flatten_byte_extract_exceptions.h.

Member Function Documentation

what()

const char* non_constant_widtht::what ( ) const

inlineoverride

Definition at line 106 of file flatten_byte_extract_exceptions.h.

Member Data Documentation

computed_error_message

std::string non_constant_widtht::computed_error_message

private

Definition at line 115 of file flatten_byte_extract_exceptions.h.

max_bytes

exprt non_constant_widtht::max_bytes

private

Definition at line 113 of file flatten_byte_extract_exceptions.h.

src

exprt non_constant_widtht::src

private

Definition at line 112 of file flatten_byte_extract_exceptions.h.

---

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

• solvers/lowering/flatten_byte_extract_exceptions.h