cprover
|
Handle selection of correct pointer type (for example changing abstract classes to concrete versions). More...
#include "generic_parameter_specialization_map.h"
#include "java_types.h"
#include <vector>
#include <util/optional.h>
#include <util/std_types.h>
Go to the source code of this file.
Classes | |
class | select_pointer_typet |
Handle selection of correct pointer type (for example changing abstract classes to concrete versions).
Definition in file select_pointer_type.h.