klee::expr::Identifier Struct Reference

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

#include <Parser.h>

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 31 of file Parser.h.

Constructor & Destructor Documentation

Identifier()

klee::expr::Identifier::Identifier ( const std::string  _Name )

inline

Definition at line 35 of file Parser.h.

Member Data Documentation

Name

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

Definition at line 32 of file Parser.h.

---

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

• /Users/cristic/klee/include/klee/Expr/Parser/Parser.h