cprover
|
#include <value_set_fi.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 171 of file value_set_fi.h.
|
inline |
Definition at line 177 of file value_set_fi.h.
|
inline |
Definition at line 181 of file value_set_fi.h.
idt value_set_fit::entryt::identifier |
Definition at line 174 of file value_set_fi.h.
Referenced by value_set_fit::add_var(), value_set_fit::do_free(), value_set_fit::flatten(), value_set_fit::flatten_rec(), value_set_fit::get_entry(), and value_set_fit::output().
object_mapt value_set_fit::entryt::object_map |
Definition at line 173 of file value_set_fi.h.
Referenced by value_set_fit::assign_rec(), value_set_fit::do_free(), value_set_fit::flatten_rec(), and value_set_fit::make_union().
std::string value_set_fit::entryt::suffix |
Definition at line 175 of file value_set_fi.h.
Referenced by value_set_fit::add_var(), value_set_fit::flatten(), value_set_fit::flatten_rec(), value_set_fit::get_entry(), and value_set_fit::output().