cprover
language.cpp File Reference

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>
+ Include dependency graph for language.cpp:

Go to the source code of this file.

Detailed Description

Abstract interface to support a programming language.

Definition in file language.cpp.