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.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Base class for all expressions.