operator_entryt Struct Reference

Collaboration diagram for operator_entryt:

Public Attributes
const irep_idt	id
const char *	op_name

Detailed Description

Definition at line 427 of file cpp_typecheck_expr.cpp.

Member Data Documentation

id

const irep_idt operator_entryt::id

Definition at line 429 of file cpp_typecheck_expr.cpp.

op_name

const char* operator_entryt::op_name

Definition at line 430 of file cpp_typecheck_expr.cpp.

---

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

• /home/runner/work/cbmc/cbmc/src/cpp/cpp_typecheck_expr.cpp