cprover
operator_entryt Struct Reference
Collaboration diagram for operator_entryt:
[legend]

Public Attributes

const irep_idt id
 
const char * op_name
 

Detailed Description

Definition at line 444 of file cpp_typecheck_expr.cpp.

Member Data Documentation

§ id

const irep_idt operator_entryt::id

Definition at line 446 of file cpp_typecheck_expr.cpp.

Referenced by cpp_typecheckt::operator_is_overloaded().

§ op_name

const char* operator_entryt::op_name

Definition at line 447 of file cpp_typecheck_expr.cpp.


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