klee::expr::Identifier Struct Reference

Identifier - Wrapper for a uniqued string. More...

#include <Parser.h>

List of all members.

Public Member Functions
	Identifier (const std::string _Name)
Public Attributes
const std::string	Name

---

Detailed Description

Identifier - Wrapper for a uniqued string.

Definition at line 29 of file Parser.h.

---

Constructor & Destructor Documentation

klee::expr::Identifier::Identifier

(

const std::string

_Name

)

[inline]

Definition at line 33 of file Parser.h.

---

Member Data Documentation

const std::string klee::expr::Identifier::Name

Definition at line 30 of file Parser.h.

---

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

• include/expr/Parser.h