CBMC
|
#include <strings.h>
#include <string>
#include <vector>
#include <iosfwd>
Go to the source code of this file.
Classes | |
class | lispsymbolt |
class | lispexprt |
Functions | |
bool | operator== (const char *a, const lispsymbolt &b) |
bool | operator!= (const char *a, const lispsymbolt &b) |
bool | operator== (const lispsymbolt &a, const std::string &b) |
bool | operator!= (const lispsymbolt &a, const std::string &b) |
bool | operator== (const std::string &a, const lispsymbolt &b) |
bool | operator!= (const std::string &a, const lispsymbolt &b) |
std::ostream & | operator<< (std::ostream &out, const lispexprt &expr) |
int | test_lispexpr () |
|
inline |
Definition at line 58 of file lispexpr.h.
|
inline |
Definition at line 64 of file lispexpr.h.
|
inline |
Definition at line 70 of file lispexpr.h.
|
inline |
Definition at line 94 of file lispexpr.h.
|
inline |
Definition at line 55 of file lispexpr.h.
|
inline |
Definition at line 61 of file lispexpr.h.
|
inline |
Definition at line 67 of file lispexpr.h.
int test_lispexpr | ( | ) |
Definition at line 152 of file lispexpr.cpp.