cprover
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_hashirep_storet
 

Protected Member Functions

const ireptmerged (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 125 of file merge_irep.cpp.

◆ operator()()

void merge_irept::operator() ( irept irep)

Definition at line 117 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: