CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
Public Member Functions | List of all members
lispsymbolt Class Reference

#include <lispexpr.h>

+ Inheritance diagram for lispsymbolt:
+ Collaboration diagram for lispsymbolt:

Public Member Functions

 lispsymbolt (const char *a)
 
 lispsymbolt ()
 
 lispsymbolt (const std::string &a)
 
bool operator== (const lispsymbolt &b) const
 
bool operator!= (const lispsymbolt &b) const
 
bool operator== (const char *b) const
 
bool operator!= (const char *b) const
 

Detailed Description

Definition at line 25 of file lispexpr.h.

Constructor & Destructor Documentation

◆ lispsymbolt() [1/3]

lispsymbolt::lispsymbolt ( const char *  a)
inline

Definition at line 29 of file lispexpr.h.

◆ lispsymbolt() [2/3]

lispsymbolt::lispsymbolt ( )
inline

Definition at line 33 of file lispexpr.h.

◆ lispsymbolt() [3/3]

lispsymbolt::lispsymbolt ( const std::string &  a)
inline

Definition at line 38 of file lispexpr.h.

Member Function Documentation

◆ operator!=() [1/2]

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

Definition at line 51 of file lispexpr.h.

◆ operator!=() [2/2]

bool lispsymbolt::operator!= ( const lispsymbolt &  b) const
inline

Definition at line 45 of file lispexpr.h.

◆ operator==() [1/2]

bool lispsymbolt::operator== ( const char *  b) const
inline

Definition at line 48 of file lispexpr.h.

◆ operator==() [2/2]

bool lispsymbolt::operator== ( const lispsymbolt &  b) const
inline

Definition at line 42 of file lispexpr.h.

The documentation for this class was generated from the following file: