_SDED Class Reference

Inheritance diagram for _SDED:

Collaboration diagram for _SDED:

Public Member Functions
virtual	~_SDED ()
virtual size_t	hash () const =0
virtual bool	operator== (const _SDED &) const =0
virtual _SDED *	clone () const =0
virtual GSDD	eval () const =0

Public Attributes
GSDD	result

Constructor & Destructor Documentation

~_SDED()

virtual _SDED::~_SDED ( )

inlinevirtual

Member Function Documentation

clone()

virtual _SDED * _SDED::clone ( ) const

pure virtual

Implemented in _SDED_Add, _SDED_Mult, _SDED_Minus, and _SDED_Concat.

eval()

virtual GSDD _SDED::eval ( ) const

pure virtual

Implemented in _SDED_Add, _SDED_Mult, _SDED_Minus, and _SDED_Concat.

hash()

virtual size_t _SDED::hash ( ) const

pure virtual

Implemented in _SDED_Add, _SDED_Mult, _SDED_Minus, and _SDED_Concat.

operator==()

virtual bool _SDED::operator== ( const _SDED &  ) const

pure virtual

Implemented in _SDED_Add, _SDED_Mult, _SDED_Minus, and _SDED_Concat.

Member Data Documentation

result

GSDD _SDED::result

---

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

• SDED.cpp