cprover
|
#include <xml_irep_hashing.h>
Public Types | |
typedef std::unordered_map< unsigned long, irept, ul_hash, ul_eq > | id_containert |
typedef std::unordered_map< irept, unsigned long, irep_full_hash, irep_content_eq > | content_containert |
typedef std::map< unsigned, unsigned > | id_replace_mapt |
Public Member Functions | |
void | clear () |
Public Attributes | |
id_containert | id_container |
content_containert | content_container |
id_replace_mapt | id_replace_map |
Definition at line 60 of file xml_irep_hashing.h.
typedef std::unordered_map<irept, unsigned long, irep_full_hash, irep_content_eq> xml_irep_convertt::ireps_containert::content_containert |
Definition at line 68 of file xml_irep_hashing.h.
typedef std::unordered_map<unsigned long, irept, ul_hash, ul_eq> xml_irep_convertt::ireps_containert::id_containert |
Definition at line 63 of file xml_irep_hashing.h.
typedef std::map<unsigned, unsigned> xml_irep_convertt::ireps_containert::id_replace_mapt |
Definition at line 71 of file xml_irep_hashing.h.
|
inline |
Definition at line 74 of file xml_irep_hashing.h.
References content_container, id_container, and id_replace_map.
Referenced by xml_irep_convertt::clear().
content_containert xml_irep_convertt::ireps_containert::content_container |
Definition at line 69 of file xml_irep_hashing.h.
Referenced by xml_irep_convertt::add_with_childs(), clear(), xml_irep_convertt::find_irep_by_content(), xml_irep_convertt::insert(), and xml_irep_convertt::reference_convert().
id_containert xml_irep_convertt::ireps_containert::id_container |
Definition at line 64 of file xml_irep_hashing.h.
Referenced by clear(), xml_irep_convertt::convert_map(), xml_irep_convertt::find_irep_by_id(), xml_irep_convertt::insert(), xml_irep_convertt::output_map(), and xml_irep_convertt::resolve_references().
id_replace_mapt xml_irep_convertt::ireps_containert::id_replace_map |
Definition at line 72 of file xml_irep_hashing.h.
Referenced by clear(), xml_irep_convertt::convert_map(), xml_irep_convertt::insert(), xml_irep_convertt::output_map(), and xml_irep_convertt::reference_convert().