klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
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

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

Definition at line 35 of file Parser.h.

Member Data Documentation

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: