cprover
|
#include <value_set.h>
Public Member Functions | |
entryt () | |
entryt (const idt &_identifier, const std::string &_suffix) | |
Public Attributes | |
object_mapt | object_map |
idt | identifier |
std::string | suffix |
Definition at line 102 of file value_set.h.
|
inline |
Definition at line 108 of file value_set.h.
|
inline |
Definition at line 112 of file value_set.h.
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_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().
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().