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)

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: