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
17
languagest::~languagest
()
18
{
19
delete
language
;
20
}
languagest::language
languaget * language
Definition:
languages.h:45
languagest::~languagest
virtual ~languagest()
Definition:
languages.cpp:17
languaget
Definition:
language.h:27
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:62
languagest::languagest
languagest(const namespacet &_ns, languaget *_language)
Definition:
languages.cpp:12
languages.h
langapi
languages.cpp
Generated by
1.8.12