cprover
xml_irep_convertt::irep_content_eq Struct Reference

Public Member Functions

bool operator() (const irept &l, const irept &r) const
 

Detailed Description

Definition at line 51 of file xml_irep_hashing.h.

Member Function Documentation

◆ operator()()

bool xml_irep_convertt::irep_content_eq::operator() ( const irept l,
const irept r 
) const
inline

Definition at line 53 of file xml_irep_hashing.h.

References irept::full_eq(), and r.


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