CBMC
format_constant.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_FORMAT_CONSTANT_H
11 #define CPROVER_UTIL_FORMAT_CONSTANT_H
12 
13 #include <string>
14 
15 #include "format_spec.h"
16 
17 class exprt;
18 
19 class format_constantt:public format_spect
20 {
21 public:
22  std::string operator()(const exprt &expr);
23 };
24 
25 #endif // CPROVER_UTIL_FORMAT_CONSTANT_H
exprt
Base class for all expressions.
Definition: expr.h:56
format_constantt
Definition: format_constant.h:20
format_constantt::operator()
std::string operator()(const exprt &expr)
Definition: format_constant.cpp:18
format_spect
Definition: format_spec.h:16
format_spec.h