cprover
|
Abstract interface to support a programming language. More...
#include <iosfwd>
#include <memory>
#include <set>
#include <string>
#include <unordered_set>
#include <util/invariant.h>
#include <util/message.h>
#include <util/std_types.h>
#include <util/symbol.h>
#include <util/symbol_table_base.h>
Go to the source code of this file.
Classes | |
class | languaget |
Macros | |
#define | OPT_FUNCTIONS "(function):" |
#define | HELP_FUNCTIONS " --function name set main function name\n" |
Abstract interface to support a programming language.
Definition in file language.h.
#define HELP_FUNCTIONS " --function name set main function name\n" |
Definition at line 36 of file language.h.
#define OPT_FUNCTIONS "(function):" |
Definition at line 33 of file language.h.