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
&type);
18
19
#endif // CPROVER_CPP_CPP_CONVERT_TYPE_H
typet
The type of an expression.
Definition:
type.h:20
cpp_convert_plain_type
void cpp_convert_plain_type(typet &type)
Definition:
cpp_convert_type.cpp:547
type.h
cpp
cpp_convert_type.h
Generated by
1.8.12