cprover
format_type.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
9
#ifndef CPROVER_UTIL_FORMAT_TYPE_H
10
#define CPROVER_UTIL_FORMAT_TYPE_H
11
12
#include "
format.h
"
13
#include "
type.h
"
14
17
std::ostream &
format_rec
(std::ostream &,
const
typet
&);
18
19
#endif // CPROVER_UTIL_FORMAT_TYPE_H
typet
The type of an expression, extends irept.
Definition:
type.h:29
format.h
type.h
Defines typet, type_with_subtypet and type_with_subtypest.
format_rec
std::ostream & format_rec(std::ostream &, const typet &)
Formats a type in a generic syntax that is inspired by C/C++/Java, and is meant for debugging.
Definition:
format_type.cpp:58
util
format_type.h
Generated by
1.8.20