Inheritance diagram for nsMLHom::ConstantUp:

Collaboration diagram for nsMLHom::ConstantUp:

Public Member Functions
	ConstantUp (const GHom &uup, const MLHom &ddown)

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
GHom	up

MLHom	down

int	refCounter
	For garbage collection. More...

bool	marking
	For garbage collection. More...

Constructor & Destructor Documentation

◆ ConstantUp()

nsMLHom::ConstantUp::ConstantUp	(	const GHom &	uup,
		const MLHom &	ddown
	)

inline

Referenced by clone().

Member Function Documentation

◆ clone()

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

inlinevirtual

Implements _MLHom.

References ConstantUp().

◆ eval()

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

inlinevirtual

Implements _MLHom.

References AdditiveMap< K, V, EqualKey >::add(), AdditiveMap< K, V, EqualKey >::begin(), GHom::compose(), down, AdditiveMap< K, V, EqualKey >::end(), and up.

◆ hash()

size_t nsMLHom::ConstantUp::hash ( ) const

inlinevirtual

unique table trivia

Implements _MLHom.

References down, GHom::hash(), MLHom::hash(), and up.

◆ mark()

virtual void _MLHom::mark ( ) const

inlineprivatevirtualinherited

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

◆ operator==()

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

inlinevirtual

Implements _MLHom.

References down, and up.

◆ 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::ConstantUp::skip_variable ( int ) const

inline

Member Data Documentation

◆ down

MLHom nsMLHom::ConstantUp::down

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().