cprover
Public Member Functions | Public Attributes | List of all members
value_set_fivrt::entryt Struct Reference

#include <value_set_fivr.h>

Collaboration diagram for value_set_fivrt::entryt:
[legend]

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 206 of file value_set_fivr.h.

Constructor & Destructor Documentation

◆ entryt() [1/2]

value_set_fivrt::entryt::entryt ( )
inline

Definition at line 212 of file value_set_fivr.h.

◆ entryt() [2/2]

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

Definition at line 214 of file value_set_fivr.h.

Member Data Documentation

◆ identifier

idt value_set_fivrt::entryt::identifier

Definition at line 209 of file value_set_fivr.h.

Referenced by value_set_fivrt::add_var(), value_set_fivrt::do_free(), value_set_fivrt::flatten(), value_set_fivrt::flatten_rec(), value_set_fivrt::get_entry(), and value_set_fivrt::output().

◆ object_map

object_mapt value_set_fivrt::entryt::object_map

Definition at line 208 of file value_set_fivr.h.

Referenced by value_set_fivrt::assign_rec(), value_set_fivrt::do_free(), value_set_fivrt::flatten_rec(), and value_set_fivrt::recursive_find().

◆ suffix

std::string value_set_fivrt::entryt::suffix

Definition at line 210 of file value_set_fivr.h.

Referenced by value_set_fivrt::add_var(), value_set_fivrt::flatten(), value_set_fivrt::flatten_rec(), value_set_fivrt::get_entry(), and value_set_fivrt::output().

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