cprover
|
#include <merge_irep.h>
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 |
Definition at line 105 of file merge_irep.h.
|
protected |
Definition at line 111 of file merge_irep.h.
Definition at line 125 of file merge_irep.cpp.
References forall_irep, forall_named_irep, irept::get_comments(), irept::get_named_sub(), irept::get_sub(), irept::id(), and irep_store.
Referenced by operator()().
void merge_irept::operator() | ( | irept & | irep | ) |
Definition at line 117 of file merge_irep.cpp.
References merged().
|
protected |
Definition at line 112 of file merge_irep.h.
Referenced by merged().