docs/api/dynamic__allocation_8h_source.html

#ifndef CPROVER_DYNAMIC_ALLOCATION_H

#define CPROVER_DYNAMIC_ALLOCATION_H


#include <irep2/irep2.h>

#include <util/symtab/namespace.h>


void default_replace_dynamic_allocation(const namespacet &ns, expr2tc &expr);


#endif

namespacet
Definition namespace.h:10

default_replace_dynamic_allocation
void default_replace_dynamic_allocation(const namespacet &ns, expr2tc &expr)

irep2.h
Classes and definitions for non-stringy internal representation.

expr2tc
irep_container< expr2t > expr2tc
Definition irep2.h:431

namespace.h