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

#include <merge_irep.h>

+ Collaboration diagram for merge_full_irept:

Public Member Functions

void operator() (irept &)
 

Protected Types

typedef std::unordered_set< irept, irep_full_hash, irep_full_eq > irep_storet
 

Protected Member Functions

const irept & merged (const irept &irep)
 

Protected Attributes

irep_storet irep_store
 

Detailed Description

Definition at line 117 of file merge_irep.h.

Member Typedef Documentation

◆ irep_storet

typedef std::unordered_set<irept, irep_full_hash, irep_full_eq> merge_full_irept::irep_storet
protected

Definition at line 123 of file merge_irep.h.

Member Function Documentation

◆ merged()

const irept & merge_full_irept::merged ( const irept &  irep)
protected

Definition at line 197 of file merge_irep.cpp.

◆ operator()()

void merge_full_irept::operator() ( irept &  irep)

Definition at line 189 of file merge_irep.cpp.

Member Data Documentation

◆ irep_store

irep_storet merge_full_irept::irep_store
protected

Definition at line 124 of file merge_irep.h.

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