cprover
Loading...
Searching...
No Matches
jsil_internal_additions.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Jsil Language
4
5
Author: Michael Tautschnig, tautschn@amazon.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_JSIL_JSIL_INTERNAL_ADDITIONS_H
13
#define CPROVER_JSIL_JSIL_INTERNAL_ADDITIONS_H
14
15
class
symbol_table_baset
;
16
17
void
jsil_internal_additions
(
symbol_table_baset
&dest);
18
19
#endif
// CPROVER_JSIL_JSIL_INTERNAL_ADDITIONS_H
symbol_table_baset
The symbol table base class interface.
Definition
symbol_table_base.h:22
jsil_internal_additions
void jsil_internal_additions(symbol_table_baset &dest)
Definition
jsil_internal_additions.cpp:22
jsil
jsil_internal_additions.h
Generated by
1.10.0