10#ifndef CPROVER_ASSEMBLER_ASSEMBLER_PARSER_H
11#define CPROVER_ASSEMBLER_ASSEMBLER_PARSER_H
void assembler_scanner_init()
int yyassemblererror(const std::string &error)
assembler_parsert assembler_parser
std::list< instructiont > instructions
std::vector< irept > instructiont
void add_token(const irept &irep)
There are a large number of kinds of tree structured or tree-like data in CPROVER.