cprover
|
#include <value_set_fivr.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 206 of file value_set_fivr.h.
|
inline |
Definition at line 212 of file value_set_fivr.h.
|
inline |
Definition at line 214 of file value_set_fivr.h.
idt value_set_fivrt::entryt::identifier |
Definition at line 209 of file value_set_fivr.h.
Referenced by value_set_fivrt::add_var(), value_set_fivrt::do_free(), value_set_fivrt::flatten(), value_set_fivrt::flatten_rec(), value_set_fivrt::get_entry(), and value_set_fivrt::output().
object_mapt value_set_fivrt::entryt::object_map |
Definition at line 208 of file value_set_fivr.h.
Referenced by value_set_fivrt::assign_rec(), value_set_fivrt::do_free(), value_set_fivrt::flatten_rec(), and value_set_fivrt::recursive_find().
std::string value_set_fivrt::entryt::suffix |
Definition at line 210 of file value_set_fivr.h.
Referenced by value_set_fivrt::add_var(), value_set_fivrt::flatten(), value_set_fivrt::flatten_rec(), value_set_fivrt::get_entry(), and value_set_fivrt::output().