compare_base_name_and_descriptort Struct Reference

Public Member Functions
int	operator() (const java_class_typet::methodt *a, const java_class_typet::methodt *b) const

Detailed Description

Definition at line 106 of file lambda_synthesis.cpp.

Member Function Documentation

operator()()

int compare_base_name_and_descriptort::operator() ( const java_class_typet::methodt *  a, const java_class_typet::methodt *  b  ) const

inline

Definition at line 108 of file lambda_synthesis.cpp.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/jbmc/src/java_bytecode/lambda_synthesis.cpp