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>
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.
#define HELP_FUNCTIONS " {y--function} {uname} \t set main function name\n" |
Definition at line 34 of file language.h.
#define OPT_FUNCTIONS "(function):" |
Definition at line 31 of file language.h.