cprover
xml_irep_convertt::ireps_containert Struct Reference

#include <xml_irep_hashing.h>

Collaboration diagram for xml_irep_convertt::ireps_containert:
[legend]

Public Types

typedef std::unordered_map< unsigned long, irept, ul_hash, ul_eqid_containert
 
typedef std::unordered_map< irept, unsigned long, irep_full_hash, irep_content_eqcontent_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
 

Detailed Description

Definition at line 60 of file xml_irep_hashing.h.

Member Typedef Documentation

§ content_containert

Definition at line 68 of file xml_irep_hashing.h.

§ id_containert

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.

§ id_replace_mapt

typedef std::map<unsigned, unsigned> xml_irep_convertt::ireps_containert::id_replace_mapt

Definition at line 71 of file xml_irep_hashing.h.

Member Function Documentation

§ clear()

void xml_irep_convertt::ireps_containert::clear ( void  )
inline

Definition at line 74 of file xml_irep_hashing.h.

Referenced by xml_irep_convertt::clear().

Member Data Documentation

§ content_container

§ id_container

§ id_replace_map

id_replace_mapt xml_irep_convertt::ireps_containert::id_replace_map

The documentation for this struct was generated from the following file: