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_tablet
;
16
17
void
jsil_internal_additions
(
symbol_tablet
&dest);
18
19
#endif
// CPROVER_JSIL_JSIL_INTERNAL_ADDITIONS_H
symbol_tablet
The symbol table.
Definition
symbol_table.h:14
jsil_internal_additions
void jsil_internal_additions(symbol_tablet &dest)
Definition
jsil_internal_additions.cpp:24
jsil
jsil_internal_additions.h
Generated by
1.9.7