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:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/util/merge_irep.h
• /home/runner/work/cbmc-documentation/cbmc-documentation/src/util/merge_irep.cpp