CBMC
Public Member Functions | Protected Types | Protected Member Functions | Protected Attributes | List of all members
merged_irepst Class Reference

#include <merge_irep.h>

+ Collaboration diagram for merged_irepst:

Public Member Functions

const merged_irept & operator() (const irept &src)
 

Protected Types

typedef std::unordered_set< merged_irept, merged_irep_hash > merged_irep_storet
 
typedef std::unordered_set< to_be_merged_irept, to_be_merged_irep_hash > to_be_merged_irep_storet
 

Protected Member Functions

const merged_irept & merged (const irept &)
 

Protected Attributes

merged_irep_storet merged_irep_store
 
to_be_merged_irep_storet to_be_merged_irep_store
 

Detailed Description

Definition at line 82 of file merge_irep.h.

Member Typedef Documentation

◆ merged_irep_storet

typedef std::unordered_set<merged_irept, merged_irep_hash> merged_irepst::merged_irep_storet
protected

Definition at line 91 of file merge_irep.h.

◆ to_be_merged_irep_storet

typedef std::unordered_set<to_be_merged_irept, to_be_merged_irep_hash> merged_irepst::to_be_merged_irep_storet
protected

Definition at line 95 of file merge_irep.h.

Member Function Documentation

◆ merged()

const merged_irept & merged_irepst::merged ( const irept &  irep)
protected

Definition at line 87 of file merge_irep.cpp.

◆ operator()()

const merged_irept& merged_irepst::operator() ( const irept &  src)
inline

Definition at line 85 of file merge_irep.h.

Member Data Documentation

◆ merged_irep_store

merged_irep_storet merged_irepst::merged_irep_store
protected

Definition at line 92 of file merge_irep.h.

◆ to_be_merged_irep_store

to_be_merged_irep_storet merged_irepst::to_be_merged_irep_store
protected

Definition at line 96 of file merge_irep.h.

The documentation for this class was generated from the following files: