cprover
cpp_convert_type.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: C++ Language Conversion
4
5
Author: Daniel Kroening, kroening@cs.cmu.edu
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_CPP_CPP_CONVERT_TYPE_H
13
#define CPROVER_CPP_CPP_CONVERT_TYPE_H
14
15
#include <
util/type.h
>
16
17
void
cpp_convert_plain_type
(
typet
&);
18
19
void
cpp_convert_auto
(
typet
&dest,
const
typet
&src);
20
21
#endif // CPROVER_CPP_CPP_CONVERT_TYPE_H
typet
The type of an expression.
Definition:
type.h:22
cpp_convert_auto
void cpp_convert_auto(typet &dest, const typet &src)
Definition:
cpp_convert_type.cpp:619
cpp_convert_plain_type
void cpp_convert_plain_type(typet &)
Definition:
cpp_convert_type.cpp:589
type.h
cpp
cpp_convert_type.h
Generated by
1.8.14