|
cprover
|
Public Attributes | |
| const irep_idt | id |
| const char * | op_name |
Definition at line 444 of file cpp_typecheck_expr.cpp.
| const irep_idt operator_entryt::id |
Definition at line 446 of file cpp_typecheck_expr.cpp.
Referenced by cpp_typecheckt::operator_is_overloaded().
| const char* operator_entryt::op_name |
Definition at line 447 of file cpp_typecheck_expr.cpp.