cprover
bitvector_conversion_exceptiont Class Reference

#include <bv_conversion_exceptions.h>

Inheritance diagram for bitvector_conversion_exceptiont:
[legend]
Collaboration diagram for bitvector_conversion_exceptiont:
[legend]

Public Member Functions

 bitvector_conversion_exceptiont (const std::string &exception_message, const exprt &bv_expr)
 

Private Attributes

exprt bv_expr
 

Detailed Description

Definition at line 20 of file bv_conversion_exceptions.h.

Constructor & Destructor Documentation

◆ bitvector_conversion_exceptiont()

bitvector_conversion_exceptiont::bitvector_conversion_exceptiont ( const std::string &  exception_message,
const exprt bv_expr 
)
inline

Definition at line 23 of file bv_conversion_exceptions.h.

Member Data Documentation

◆ bv_expr

exprt bitvector_conversion_exceptiont::bv_expr
private

Definition at line 31 of file bv_conversion_exceptions.h.


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