CBMC: /home/runner/work/cbmc/cbmc/src/util/format_constant.h Source File

CBMC
Loading...
Searching...
No Matches
format_constant.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: 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
17class exprt;
18
20{
21public:
22 std::string operator()(const exprt &expr);
23};
24
25#endif // CPROVER_UTIL_FORMAT_CONSTANT_H
Base class for all expressions.
Definition expr.h:57
std::string operator()(const exprt &expr)
Definition format_spec.h:16

AltStyle によって変換されたページ (->オリジナル) /