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