cprover
value_sett::entryt Struct Reference

#include <value_set.h>

Collaboration diagram for value_sett::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 102 of file value_set.h.

Constructor & Destructor Documentation

§ entryt() [1/2]

value_sett::entryt::entryt ( )
inline

Definition at line 108 of file value_set.h.

§ entryt() [2/2]

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

Definition at line 112 of file value_set.h.

Member Data Documentation

§ identifier

idt value_sett::entryt::identifier

Definition at line 105 of file value_set.h.

Referenced by value_sett::get_entry(), and value_sett::output().

§ object_map

object_mapt value_sett::entryt::object_map

Definition at line 104 of file value_set.h.

Referenced by value_sett::assign_rec(), value_sett::make_union(), and value_sett::output().

§ suffix

std::string value_sett::entryt::suffix

Definition at line 106 of file value_set.h.

Referenced by value_sett::get_entry(), and value_sett::output().


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