CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
lispirep.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9
10#ifndef CPROVER_UTIL_LISPIREP_H
11#define CPROVER_UTIL_LISPIREP_H
12
13class irept;
14class lispexprt;
15
16void lisp2irep(const lispexprt &src, irept &dest);
17void irep2lisp(const irept &src, lispexprt &dest);
18
19#endif // CPROVER_UTIL_LISPIREP_H
irept
There are a large number of kinds of tree structured or tree-like data in CPROVER.
Definition irep.h:364
lisp2irep
void lisp2irep(const lispexprt &src, irept &dest)
Definition lispirep.cpp:15
irep2lisp
void irep2lisp(const irept &src, lispexprt &dest)
Definition lispirep.cpp:43