cprover
|
#include <merge_irep.h>
Public Member Functions | |
std::size_t | operator() (const to_be_merged_irept &irep) const |
Definition at line 76 of file merge_irep.h.
|
inline |
Definition at line 78 of file merge_irep.h.
References to_be_merged_irept::hash().