Context-insensitive lazy methods container. More...

#include "ci_lazy_methods_needed.h"
#include <util/namespace.h>
#include <util/std_types.h>
#include <util/symbol_table_base.h>
#include <goto-programs/resolve_inherited_component.h>
#include "generic_parameter_specialization_map.h"
#include "java_static_initializers.h"
#include "java_types.h"
#include "select_pointer_type.h"

Include dependency graph for ci_lazy_methods_needed.cpp:

Go to the source code of this file.

Detailed Description

Context-insensitive lazy methods container.

Definition in file ci_lazy_methods_needed.cpp.