cprover
language.cpp File Reference

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

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