cprover
|
Abstract interface to support a programming language. More...
#include "language.h"
#include <util/expr.h>
#include <util/symbol.h>
#include <util/symbol_table.h>
#include <util/prefix.h>
#include <util/cprover_prefix.h>
#include <util/std_types.h>
Go to the source code of this file.
Abstract interface to support a programming language.
Definition in file language.cpp.