cprover
|
Public Member Functions | |
bool | operator() (const irept &l, const irept &r) const |
Definition at line 51 of file xml_irep_hashing.h.
|
inline |
Definition at line 53 of file xml_irep_hashing.h.
References irept::full_eq(), and r.