bitvector_conversion_exceptiont Class Reference

#include <bv_conversion_exceptions.h>

Inheritance diagram for bitvector_conversion_exceptiont:

Collaboration diagram for bitvector_conversion_exceptiont:

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:

• solvers/flattening/bv_conversion_exceptions.h