cprover
languages.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@cs.cmu.edu
6 
7 \*******************************************************************/
8 
9 
10 #include "languages.h"
11 
12 languagest::languagest(const namespacet &_ns, languaget *_language):ns(_ns)
13 {
14  language=_language;
15 }
16 
18 {
19  delete language;
20 }
languaget * language
Definition: languages.h:45
virtual ~languagest()
Definition: languages.cpp:17
TO_BE_DOCUMENTED.
Definition: namespace.h:62
languagest(const namespacet &_ns, languaget *_language)
Definition: languages.cpp:12