12#ifndef CPROVER_CRANGLER_MINI_C_PARSER_H
13#define CPROVER_CRANGLER_MINI_C_PARSER_H
32 void print(std::ostream &)
const;
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
c_translation_unitt parse_c(std::istream &)
std::ostream & operator<<(std::ostream &, const c_declarationt &)
std::vector< c_declarationt > c_translation_unitt
void print(std::ostream &) const
optionalt< ctokent > declared_identifier() const
std::vector< ctokent > tokenst