cprover
|
Represents a row of a value_sett
.
More...
#include <value_set.h>
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 |
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.
|
inline |
Definition at line 243 of file value_set.h.
|
inline |
Definition at line 247 of file value_set.h.
|
inline |
Definition at line 260 of file value_set.h.
|
inline |
Definition at line 253 of file value_set.h.
References identifier, object_map, and suffix.
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_mapt value_sett::entryt::object_map |
Definition at line 239 of file value_set.h.
Referenced by value_sett::assign_rec(), value_sett::make_union(), operator==(), and value_sett::output().
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().