CBMC
language.cpp File Reference

Abstract interface to support a programming language. More...

#include "language.h"
#include <util/expr.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.