operator_entryt Struct Reference
Collaboration diagram for operator_entryt:Public Attributes | |
| const irep_idt | id |
| const char * | op_name |
Detailed Description
Definition at line 428 of file cpp_typecheck_expr.cpp.
Member Data Documentation
◆ id
| const irep_idt operator_entryt::id |
Definition at line 430 of file cpp_typecheck_expr.cpp.
◆ op_name
| const char* operator_entryt::op_name |
Definition at line 431 of file cpp_typecheck_expr.cpp.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/cpp/cpp_typecheck_expr.cpp
