cprover
|
#include <merge_irep.h>
Public Member Functions | |
const merged_irept & | operator() (const irept &src) |
Protected Types | |
typedef std::unordered_set< merged_irept, merged_irep_hash > | merged_irep_storet |
typedef std::unordered_set< to_be_merged_irept, to_be_merged_irep_hash > | to_be_merged_irep_storet |
Protected Member Functions | |
const merged_irept & | merged (const irept &) |
Protected Attributes | |
merged_irep_storet | merged_irep_store |
to_be_merged_irep_storet | to_be_merged_irep_store |
Definition at line 82 of file merge_irep.h.
|
protected |
Definition at line 91 of file merge_irep.h.
|
protected |
Definition at line 95 of file merge_irep.h.
|
protected |
Definition at line 75 of file merge_irep.cpp.
References forall_irep, forall_named_irep, irept::get_named_sub(), irept::get_sub(), irept::id(), merged_irep_store, and to_be_merged_irep_store.
Referenced by operator()().
|
inline |
Definition at line 85 of file merge_irep.h.
References merged().
|
protected |
Definition at line 92 of file merge_irep.h.
Referenced by merged().
|
protected |
Definition at line 96 of file merge_irep.h.
Referenced by merged().