cprover
|
Public Member Functions | |
is_name_equalt (const irep_idt &name) | |
bool | operator() (const class_typet::componentt &component) const |
Private Attributes | |
const irep_idt & | name |
Definition at line 38 of file java_bytecode_vtable.cpp.
|
inlineexplicit |
Definition at line 43 of file java_bytecode_vtable.cpp.
|
inline |
Definition at line 48 of file java_bytecode_vtable.cpp.
References struct_union_typet::componentt::get_name(), and name.
|
private |
Definition at line 40 of file java_bytecode_vtable.cpp.
Referenced by operator()().