_DED_Mult Class Reference

Inheritance diagram for _DED_Mult:

Collaboration diagram for _DED_Mult:

Public Member Functions
size_t	hash () const
bool	operator== (const _DED &e) const
_DED *	clone () const
GDDD	eval () const
	~_DED_Mult ()

Static Public Member Functions
static GDDD	create (const GDDD &g1, const GDDD &g2)

Public Attributes
GDDD	result

Private Member Functions
	_DED_Mult (const GDDD &g1, const GDDD &g2)

Private Attributes
GDDD	parameter1
GDDD	parameter2

Constructor & Destructor Documentation

_DED_Mult()

_DED_Mult::_DED_Mult ( const GDDD &  g1, const GDDD &  g2  )

inlineprivate

~_DED_Mult()

_DED_Mult::~_DED_Mult ( )

inline

Member Function Documentation

clone()

_DED * _DED_Mult::clone ( ) const

inlinevirtual

Implements _DED.

create()

GDDD _DED_Mult::create ( const GDDD &  g1, const GDDD &  g2  )

static

References compute(), GDDD::hash(), GDDD::null, GDDD::one, GDDD::top, and GDDD::variable().

Referenced by operator*().

eval()

GDDD _DED_Mult::eval ( ) const

virtual

Implements _DED.

References GDDD::begin(), GDDD::end(), GDDD::nbsons(), GDDD::null, parameter1, parameter2, and GDDD::variable().

hash()

size_t _DED_Mult::hash ( ) const

virtual

Implements _DED.

References GDDD::hash(), parameter1, and parameter2.

operator==()

bool _DED_Mult::operator== ( const _DED &  e ) const

virtual

Implements _DED.

References parameter1, and parameter2.

Member Data Documentation

parameter1

GDDD _DED_Mult::parameter1

private

Referenced by eval(), hash(), and operator==().

parameter2

GDDD _DED_Mult::parameter2

private

Referenced by eval(), hash(), and operator==().

result

GDDD _DED::result

inherited

---

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

• DED.cpp