cprover
|
#include <merge_irep.h>
Public Member Functions | |
void | operator() (irept &) |
Protected Types | |
typedef std::unordered_set< irept, irep_full_hash, irep_full_eq > | irep_storet |
Protected Member Functions | |
const irept & | merged (const irept &irep) |
Protected Attributes | |
irep_storet | irep_store |
Definition at line 117 of file merge_irep.h.
|
protected |
Definition at line 123 of file merge_irep.h.
Definition at line 173 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_full_irept::operator() | ( | irept & | irep | ) |
Definition at line 165 of file merge_irep.cpp.
References merged().
|
protected |
Definition at line 124 of file merge_irep.h.
Referenced by merged().