|
CBMC
|
Abstract interface to support a programming language. More...
#include <util/invariant.h>#include <util/irep.h>#include <iosfwd>#include <memory>#include <set>#include <string>#include <unordered_set>
Include dependency graph for language.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | languaget |
Macros | |
| #define | OPT_FUNCTIONS "(function):" |
| #define | HELP_FUNCTIONS " {y--function} {uname} \t set main function name\n" |
Abstract interface to support a programming language.
Definition in file language.h.
Definition at line 34 of file language.h.
| #define OPT_FUNCTIONS "(function):" |
Definition at line 31 of file language.h.