Go to the documentation of this file.
12 #ifndef CPROVER_GOTO_PROGRAMS_PRINTF_FORMATTER_H
13 #define CPROVER_GOTO_PROGRAMS_PRINTF_FORMATTER_H
25 const std::list<exprt> &_operands);
27 void print(std::ostream &out);
59 #endif // CPROVER_GOTO_PROGRAMS_PRINTF_FORMATTER_H
The type of an expression, extends irept.
Base class for all expressions.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...