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

#include <merge_irep.h>

+ Collaboration diagram for merge_irept:

Public Member Functions

void operator() (irept &)
 

Protected Types

typedef std::unordered_set< irept, irep_hash > irep_storet
 

Protected Member Functions

const irept & merged (const irept &irep)
 

Protected Attributes

irep_storet irep_store
 

Detailed Description

Definition at line 105 of file merge_irep.h.

Member Typedef Documentation

◆ irep_storet

typedef std::unordered_set<irept, irep_hash> merge_irept::irep_storet
protected

Definition at line 111 of file merge_irep.h.

Member Function Documentation

◆ merged()

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

Definition at line 144 of file merge_irep.cpp.

◆ operator()()

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

Definition at line 136 of file merge_irep.cpp.

Member Data Documentation

◆ irep_store

irep_storet merge_irept::irep_store
protected

Definition at line 112 of file merge_irep.h.

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