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

Definition at line 111 of file merge_irep.h.

Member Function Documentation

◆ merged()

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

Definition at line 141 of file merge_irep.cpp.

◆ operator()()

void merge_irept::operator() ( irept irep)

Definition at line 133 of file merge_irep.cpp.

Member Data Documentation

◆ irep_store

irep_storet merge_irept::irep_store

Definition at line 112 of file merge_irep.h.

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