nsMLHom::LeftConcat Class Reference

Inheritance diagram for nsMLHom::LeftConcat:

Collaboration diagram for nsMLHom::LeftConcat:

Public Member Functions
	LeftConcat (const GDDD &l, const MLHom &_h, int ref=0)
bool	operator== (const _MLHom &other) const
_MLHom *	clone () const
size_t	hash () const
	unique table trivia More...
bool	skip_variable (int) const
HomNodeMap	eval (const GDDD &d) const
virtual bool	shouldCache () const
	test if caching should be done : default means should cache More...

Private Member Functions
virtual void	mark () const
	For garbage collection. Used in first phase of garbage collection. More...

Private Attributes
GDDD	left
MLHom	h
int	refCounter
	For garbage collection. More...
bool	marking
	For garbage collection. More...

Constructor & Destructor Documentation

LeftConcat()

nsMLHom::LeftConcat::LeftConcat ( const GDDD &  l, const MLHom &  _h, int  ref = 0  )

inline

Referenced by clone().

Member Function Documentation

clone()

_MLHom* nsMLHom::LeftConcat::clone ( ) const

inlinevirtual

Implements _MLHom.

References LeftConcat().

eval()

HomNodeMap nsMLHom::LeftConcat::eval ( const GDDD &  d ) const

inlinevirtual

Implements _MLHom.

References AdditiveMap< K, V, EqualKey >::add(), AdditiveMap< K, V, EqualKey >::begin(), AdditiveMap< K, V, EqualKey >::end(), h, and left.

hash()

size_t nsMLHom::LeftConcat::hash ( ) const

inlinevirtual

unique table trivia

Implements _MLHom.

References h, GDDD::hash(), MLHom::hash(), and left.

mark()

virtual void _MLHom::mark ( ) const

inlineprivatevirtualinherited

For garbage collection. Used in first phase of garbage collection.

operator==()

bool nsMLHom::LeftConcat::operator== ( const _MLHom &  other ) const

inlinevirtual

Implements _MLHom.

References h, and left.

shouldCache()

virtual bool _MLHom::shouldCache ( ) const

inlinevirtualinherited

test if caching should be done : default means should cache

Reimplemented in nsMLHom::Identity.

skip_variable()

bool nsMLHom::LeftConcat::skip_variable ( int  ) const

inline

Member Data Documentation

h

MLHom nsMLHom::LeftConcat::h

private

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

left

GDDD nsMLHom::LeftConcat::left

private

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

marking

bool _MLHom::marking

mutableprivateinherited

For garbage collection.

Used in the two phase garbage collection process. A Shom that is not marked after the first pass over the unicity table, will be sweeped in the second phase. Outside of garbage collection routine, marking should always bear the value false.

Referenced by MLHom::garbage().

refCounter

int _MLHom::refCounter

mutableprivateinherited

For garbage collection.

Counts the number of times a _MLHom is referenced from the context of an MLHom.

---

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

• MLHom.cpp