cprover
Loading...
Searching...
No Matches
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)
int test_lispexpr ()

Function Documentation

◆ operator!=() [1/3]

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

Definition at line 58 of file lispexpr.h.

◆ operator!=() [2/3]

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

Definition at line 64 of file lispexpr.h.

◆ operator!=() [3/3]

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

Definition at line 70 of file lispexpr.h.

◆ operator<<()

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

Definition at line 94 of file lispexpr.h.

◆ operator==() [1/3]

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

Definition at line 55 of file lispexpr.h.

◆ operator==() [2/3]

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

Definition at line 61 of file lispexpr.h.

◆ operator==() [3/3]

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

Definition at line 67 of file lispexpr.h.

◆ test_lispexpr()

int test_lispexpr ( )

Definition at line 152 of file lispexpr.cpp.