cprover
|
Handle selection of correct pointer type (for example changing abstract classes to concrete versions). More...
Go to the source code of this file.
Handle selection of correct pointer type (for example changing abstract classes to concrete versions).
Definition in file select_pointer_type.cpp.