#include <lispexpr.h>

Inheritance diagram for lispexprt:

Collaboration diagram for lispexprt:

Public Types
enum	{ String, Symbol, Number, List }

Public Member Functions
std::string	expr2string () const

bool	parse (const std::string &s)

bool	is_nil () const

void	make_nil ()

Public Attributes
enum lispexprt:: { ... }	type

lispsymbolt	value

Protected Member Functions
bool	parse (const std::string &s, std::string::size_type &ptr)

Detailed Description

Definition at line 73 of file lispexpr.h.

Member Enumeration Documentation

◆ anonymous enum

anonymous enum

Enumerator
String
Symbol
Number
List

Definition at line 76 of file lispexpr.h.

Member Function Documentation

◆ expr2string()

std::string lispexprt::expr2string ( ) const

Definition at line 15 of file lispexpr.cpp.

◆ is_nil()

bool lispexprt::is_nil ( ) const

inline

Definition at line 80 of file lispexpr.h.

◆ make_nil()

void lispexprt::make_nil ( )

inline

Definition at line 83 of file lispexpr.h.

◆ parse() [1/2]

bool lispexprt::parse ( const std::string & s )

Definition at line 54 of file lispexpr.cpp.

◆ parse() [2/2]

bool lispexprt::parse	(	const std::string &	s,
		std::string::size_type &	ptr
	)

protected

Definition at line 60 of file lispexpr.cpp.

Member Data Documentation

◆ type

enum { ... } lispexprt::type

◆ value

lispsymbolt lispexprt::value

Definition at line 77 of file lispexpr.h.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/util/lispexpr.h
/home/runner/work/cbmc-documentation/cbmc-documentation/src/util/lispexpr.cpp

Public Types

Public Member Functions

Public Attributes

Protected Member Functions