cprover
|
Public Attributes | |
const irep_idt | id |
const char * | op_name |
Definition at line 422 of file cpp_typecheck_expr.cpp.
const irep_idt operator_entryt::id |
Definition at line 424 of file cpp_typecheck_expr.cpp.
const char* operator_entryt::op_name |
Definition at line 425 of file cpp_typecheck_expr.cpp.