cprover
xml_irep_convertt::irep_full_hash Struct Reference

Public Member Functions

size_t operator() (const irept &i) const
 

Detailed Description

Definition at line 42 of file xml_irep_hashing.h.

Member Function Documentation

◆ operator()()

size_t xml_irep_convertt::irep_full_hash::operator() ( const irept i) const
inline

Definition at line 44 of file xml_irep_hashing.h.

References irept::full_hash().


The documentation for this struct was generated from the following file: