cprover
is_name_equalt Class Reference
Collaboration diagram for is_name_equalt:
[legend]

Public Member Functions

 is_name_equalt (const irep_idt &name)
 
bool operator() (const class_typet::componentt &component) const
 

Private Attributes

const irep_idtname
 

Detailed Description

Definition at line 38 of file java_bytecode_vtable.cpp.

Constructor & Destructor Documentation

§ is_name_equalt()

is_name_equalt::is_name_equalt ( const irep_idt name)
inlineexplicit

Definition at line 43 of file java_bytecode_vtable.cpp.

Member Function Documentation

§ operator()()

bool is_name_equalt::operator() ( const class_typet::componentt component) const
inline

Member Data Documentation

§ name

const irep_idt& is_name_equalt::name
private

Definition at line 40 of file java_bytecode_vtable.cpp.


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