cprover
|
Context-insensitive lazy methods container. More...
#include "ci_lazy_methods.h"
#include "java_static_initializers.h"
#include <java_bytecode/select_pointer_type.h>
#include <string>
#include <util/namespace.h>
#include <util/std_types.h>
Go to the source code of this file.
Context-insensitive lazy methods container.
Definition in file ci_lazy_methods_needed.cpp.