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