12#ifndef CPROVER_GOTO_PROGRAMS_PRINTF_FORMATTER_H
13#define CPROVER_GOTO_PROGRAMS_PRINTF_FORMATTER_H
24 void print(std::ostream &out);
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Base class for all expressions.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
The type of an expression, extends irept.