cprover
lispexpr.h File Reference
#include <strings.h>
#include <string>
#include <vector>
#include <iosfwd>
Include dependency graph for lispexpr.h:
This graph shows which files directly or indirectly include this file:

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)
 
std::string escape (const std::string &s)
 
int test_lispexpr ()
 

Function Documentation

§ escape()

std::string escape ( const std::string &  s)

Definition at line 150 of file lispexpr.cpp.

Referenced by lispexprt::expr2string(), and operator<<().

§ operator!=() [1/3]

bool operator!= ( const char *  a,
const lispsymbolt b 
)
inline

Definition at line 59 of file lispexpr.h.

§ operator!=() [2/3]

bool operator!= ( const lispsymbolt a,
const std::string &  b 
)
inline

Definition at line 65 of file lispexpr.h.

§ operator!=() [3/3]

bool operator!= ( const std::string &  a,
const lispsymbolt b 
)
inline

Definition at line 71 of file lispexpr.h.

§ operator<<()

std::ostream& operator<< ( std::ostream &  out,
const lispexprt expr 
)
inline

Definition at line 95 of file lispexpr.h.

References escape(), lispexprt::expr2string(), and test_lispexpr().

§ operator==() [1/3]

bool operator== ( const char *  a,
const lispsymbolt b 
)
inline

Definition at line 56 of file lispexpr.h.

§ operator==() [2/3]

bool operator== ( const lispsymbolt a,
const std::string &  b 
)
inline

Definition at line 62 of file lispexpr.h.

§ operator==() [3/3]

bool operator== ( const std::string &  a,
const lispsymbolt b 
)
inline

Definition at line 68 of file lispexpr.h.

§ test_lispexpr()

int test_lispexpr ( )

Definition at line 165 of file lispexpr.cpp.

References lispexprt::parse().

Referenced by operator<<().