Rose::BinaryAnalysis::ModelChecker::ThrownTag Struct Reference

Description

Exception wrapper for tags.

Definition at line 83 of file Tag.h.

#include <Rose/BinaryAnalysis/ModelChecker/Tag.h>

Public Attributes
Tag::Ptr	tag

---

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

• Tag.h