cprover
|
Go to the source code of this file.
Functions | |
void | lisp2irep (const lispexprt &src, irept &dest) |
void | irep2lisp (const irept &src, lispexprt &dest) |
Definition at line 43 of file lispirep.cpp.
References forall_irep, forall_named_irep, irept::get_comments(), irept::get_named_sub(), irept::get_sub(), irept::id_string(), irep2lisp(), lispexprt::List, name2string(), lispexprt::String, lispexprt::Symbol, lispexprt::type, and lispexprt::value.
Referenced by expr2ct::convert_norep(), expr2ct::convert_rec(), expr2cppt::convert_rec(), and irep2lisp().
Definition at line 15 of file lispirep.cpp.
References irept::id(), lisp2irep(), lispexprt::List, irept::make_nil(), irept::move_to_named_sub(), irept::move_to_sub(), lispexprt::type, and lispexprt::value.
Referenced by lisp2irep().