value_set_fit::entryt Struct Reference

#include <value_set_fi.h>

Collaboration diagram for value_set_fit::entryt:

Public Member Functions
	entryt ()
	entryt (const idt &_identifier, const std::string _suffix)

Public Attributes
object_mapt	object_map
idt	identifier
std::string	suffix

Detailed Description

Definition at line 173 of file value_set_fi.h.

Constructor & Destructor Documentation

entryt() [1/2]

value_set_fit::entryt::entryt ( )

inline

Definition at line 179 of file value_set_fi.h.

entryt() [2/2]

value_set_fit::entryt::entryt ( const idt &  _identifier, const std::string  _suffix  )

inline

Definition at line 183 of file value_set_fi.h.

Member Data Documentation

identifier

idt value_set_fit::entryt::identifier

Definition at line 176 of file value_set_fi.h.

object_map

object_mapt value_set_fit::entryt::object_map

Definition at line 175 of file value_set_fi.h.

suffix

std::string value_set_fit::entryt::suffix

Definition at line 177 of file value_set_fi.h.

---

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

• /home/runner/work/cbmc/cbmc/src/pointer-analysis/value_set_fi.h