cprover
lispirep.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
9
10
#ifndef CPROVER_UTIL_LISPIREP_H
11
#define CPROVER_UTIL_LISPIREP_H
12
13
class
irept
;
14
class
lispexprt
;
15
16
void
lisp2irep
(
const
lispexprt
&src,
irept
&dest);
17
void
irep2lisp
(
const
irept
&src,
lispexprt
&dest);
18
19
#endif // CPROVER_UTIL_LISPIREP_H
lisp2irep
void lisp2irep(const lispexprt &src, irept &dest)
Definition:
lispirep.cpp:15
lispexprt
Definition:
lispexpr.h:74
irept
Base class for tree-like data structures with sharing.
Definition:
irep.h:156
irep2lisp
void irep2lisp(const irept &src, lispexprt &dest)
Definition:
lispirep.cpp:43
util
lispirep.h
Generated by
1.8.16