cprover
value_sett::entryt Struct Reference

Represents a row of a value_sett. More...

#include <value_set.h>

Collaboration diagram for value_sett::entryt:
[legend]

Public Member Functions

 entryt ()
 
 entryt (const idt &_identifier, const std::string &_suffix)
 
bool operator== (const entryt &other) const
 
bool operator!= (const entryt &other) const
 

Public Attributes

object_mapt object_map
 
idt identifier
 
std::string suffix
 

Detailed Description

Represents a row of a value_sett.

For example, this might represent dynamic_object1.field1 -> { <dynamic_object2, 0> }, with identifier == dynamic_object1, suffix == .field1 and a single-entry object_map representing { <dynamic_object2, 0> }.

Definition at line 237 of file value_set.h.

Constructor & Destructor Documentation

◆ entryt() [1/2]

value_sett::entryt::entryt ( )
inline

Definition at line 243 of file value_set.h.

◆ entryt() [2/2]

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

Definition at line 247 of file value_set.h.

Member Function Documentation

◆ operator!=()

bool value_sett::entryt::operator!= ( const entryt other) const
inline

Definition at line 260 of file value_set.h.

◆ operator==()

bool value_sett::entryt::operator== ( const entryt other) const
inline

Definition at line 253 of file value_set.h.

References identifier, object_map, and suffix.

Member Data Documentation

◆ identifier

idt value_sett::entryt::identifier

Definition at line 240 of file value_set.h.

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

◆ object_map

object_mapt value_sett::entryt::object_map

◆ suffix

std::string value_sett::entryt::suffix

Definition at line 241 of file value_set.h.

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


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