identifiert Class Reference

#include <identifier.h>

Collaboration diagram for identifiert:

Public Types
typedef std::vector< std::string >	componentst

Public Member Functions
	identifiert (const std::string &s)
	identifiert ()
std::string	as_string () const

Public Attributes
componentst	components

Protected Member Functions
void	parse (const std::string &s)

Detailed Description

Definition at line 18 of file identifier.h.

Member Typedef Documentation

componentst

typedef std::vector<std::string> identifiert::componentst

Definition at line 29 of file identifier.h.

Constructor & Destructor Documentation

identifiert() [1/2]

identifiert::identifiert ( const std::string &  s )

inlineexplicit

Definition at line 21 of file identifier.h.

identifiert() [2/2]

identifiert::identifiert ( )

inline

Definition at line 24 of file identifier.h.

Member Function Documentation

as_string()

std::string identifiert::as_string

(

)

const

Definition at line 13 of file identifier.cpp.

parse()

void identifiert::parse ( const std::string &  s )

protected

Definition at line 28 of file identifier.cpp.

Member Data Documentation

components

componentst identifiert::components

Definition at line 30 of file identifier.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/util/identifier.h
• /home/runner/work/cbmc/cbmc/src/util/identifier.cpp