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"Go to the source code of this file.
Context-insensitive lazy methods container.
Definition in file ci_lazy_methods_needed.cpp.
