CVC3::ExprString Class Reference

#include <expr_value.h>

Inheritance diagram for CVC3::ExprString:

[legend]

Collaboration diagram for CVC3::ExprString:

[legend]

List of all members.

Public Member Functions

ExprString (ExprManager *em, const std::string &s, ExprIndex idx=0)
virtual ~ExprString ()
virtual bool operator== (const ExprValue &ev2) const
Equality between any two ExprValue objects (including subclasses).
void * operator new (size_t size, MemoryManager *mm)
Overload operator new.
void operator delete (void *pMem, MemoryManager *mm)
void operator delete (void *)
Overload operator delete.

Protected Member Functions

virtual size_t computeHash () const
Non-caching hash function which actually computes the hash.
virtual bool isString () const
String expression tester.
virtual const std::string & getString () const
virtual ExprValue * copy (ExprManager *em, ExprIndex idx=0) const
Make a clean copy of itself using the given memory manager.

Private Member Functions

virtual size_t getMMIndex () const
Get unique memory manager ID.

Static Private Member Functions

static size_t hash (const std::string &str)

Private Attributes

std::string d_str

Friends

class Expr
class ExprManager

Detailed Description

Definition at line 659 of file expr_value.h.

Constructor & Destructor Documentation

CVC3::ExprString::ExprString	(	ExprManager *	em,
		const std::string &	s,
		ExprIndex	idx = `0`
	)			`[inline]`

Definition at line 684 of file expr_value.h.

Referenced by copy().

virtual CVC3::ExprString::~ExprString ( ) [inline, virtual]

Definition at line 687 of file expr_value.h.

Member Function Documentation

static size_t CVC3::ExprString::hash ( const std::string & str ) [inline, static, private]

Definition at line 666 of file expr_value.h.

References CVC3::ExprValue::s_charHash.

virtual size_t CVC3::ExprString::getMMIndex ( ) const [inline, private, virtual]

Get unique memory manager ID.

Reimplemented from CVC3::ExprValue.

Definition at line 671 of file expr_value.h.

References CVC3::EXPR_STRING.

Referenced by copy(), and operator==().

virtual size_t CVC3::ExprString::computeHash ( ) const [inline, protected, virtual]

Non-caching hash function which actually computes the hash.

This is the method that all subclasses should implement

Reimplemented from CVC3::ExprValue.

Definition at line 675 of file expr_value.h.

References d_str, and CVC3::ExprValue::hash().

virtual bool CVC3::ExprString::isString ( ) const [inline, protected, virtual]

String expression tester.

Reimplemented from CVC3::ExprValue.

Definition at line 677 of file expr_value.h.

virtual const std::string& CVC3::ExprString::getString ( ) const [inline, protected, virtual]

Reimplemented from CVC3::ExprValue.

Definition at line 678 of file expr_value.h.

References d_str.

Referenced by operator==().

ExprValue * CVC3::ExprString::copy	(	ExprManager *	em,
		ExprIndex	idx = `0`
	)			const `[protected, virtual]`

Make a clean copy of itself using the given memory manager.

Reimplemented from CVC3::ExprValue.

Definition at line 151 of file expr_value.cpp.

References d_str, ExprString(), CVC3::ExprManager::getMM(), and getMMIndex().

bool CVC3::ExprString::operator== ( const ExprValue & ev2 ) const [virtual]

Equality between any two ExprValue objects (including subclasses).

Reimplemented from CVC3::ExprValue.

Definition at line 144 of file expr_value.cpp.

References CVC3::ExprValue::getMMIndex(), getMMIndex(), CVC3::ExprValue::getString(), and getString().

void* CVC3::ExprString::operator new	(	size_t	size,
		MemoryManager *	mm
	)			`[inline]`

Overload operator new.

Reimplemented from CVC3::ExprValue.

Definition at line 691 of file expr_value.h.

References CVC3::MemoryManager::newData().

void CVC3::ExprString::operator delete	(	void *	pMem,
		MemoryManager *	mm
	)			`[inline]`

Reimplemented from CVC3::ExprValue.

Definition at line 694 of file expr_value.h.

References CVC3::MemoryManager::deleteData().

void CVC3::ExprString::operator delete ( void * ) [inline]

Overload operator delete.

Reimplemented from CVC3::ExprValue.

Definition at line 697 of file expr_value.h.

Friends And Related Function Documentation

friend class Expr [friend]

Reimplemented from CVC3::ExprValue.

Definition at line 660 of file expr_value.h.

friend class ExprManager [friend]

Reimplemented from CVC3::ExprValue.

Definition at line 661 of file expr_value.h.

Member Data Documentation

std::string CVC3::ExprString::d_str [private]

Definition at line 663 of file expr_value.h.

Referenced by computeHash(), copy(), and getString().

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