Pair of class id and methodt. More...

#include <ci_lazy_methods.h>

Detailed Description

Member Data Documentation

◆  class_id

◆  method

◆  method_id

---

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

• /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/ci_lazy_methods.h