cprover
xml_irep_convertt::ul_eq Struct Reference

Public Member Functions

bool operator() (const unsigned long l, const unsigned long r) const
 

Detailed Description

Definition at line 33 of file xml_irep_hashing.h.

Member Function Documentation

§ operator()()

bool xml_irep_convertt::ul_eq::operator() ( const unsigned long  l,
const unsigned long  r 
) const
inline

Definition at line 35 of file xml_irep_hashing.h.


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