StrongMLShom Class Reference

#include <MLSHom.h>

Inheritance diagram for StrongMLShom:

Collaboration diagram for StrongMLShom:

Public Member Functions
bool	operator== (const _MLShom &h) const
virtual bool	operator== (const StrongMLShom &) const =0
SHomNodeMap	eval (const GSDD &) const
virtual SHomHomMap	phi (int var, const DataSet &val) const =0
	User defined behavior is input through this function. More...
virtual SHomNodeMap	phiOne () const =0
virtual bool	shouldCache () const
	test if caching should be done : default means should cache More...
virtual size_t	hash () const =0
	unique table trivia More...
virtual _MLShom *	clone () const =0

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

Private Attributes
int	refCounter
	For garbage collection. More...
bool	marking
	For garbage collection. More...

Member Function Documentation

clone()

virtual _MLShom* _MLShom::clone ( ) const

pure virtualinherited

Implemented in nsMLShom::LeftConcat, nsMLShom::ConstantUp, nsMLShom::GShomAdapter, nsMLShom::Add, and nsMLShom::Identity.

eval()

SHomNodeMap StrongMLShom::eval ( const GSDD &  d ) const

virtual

Implements _MLShom.

References AdditiveMap< K, V, EqualKey >::add(), AdditiveMap< K, V, EqualKey >::begin(), GSDD::begin(), AdditiveMap< K, V, EqualKey >::end(), GSDD::end(), GShom::id, GSDD::null, GSDD::one, phi(), phiOne(), GSDD::top, and GSDD::variable().

hash()

virtual size_t _MLShom::hash ( ) const

pure virtualinherited

unique table trivia

Implemented in nsMLShom::LeftConcat, nsMLShom::ConstantUp, nsMLShom::GShomAdapter, nsMLShom::Add, and nsMLShom::Identity.

mark()

virtual void _MLShom::mark ( ) const

inlineprivatevirtualinherited

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

operator==() [1/2]

bool StrongMLShom::operator== ( const _MLShom &  h ) const

virtual

Implements _MLShom.

operator==() [2/2]

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

pure virtual

phi()

virtual SHomHomMap StrongMLShom::phi ( int  var, const DataSet &  val  ) const

pure virtual

User defined behavior is input through this function.

Referenced by eval().

phiOne()

virtual SHomNodeMap StrongMLShom::phiOne ( ) const

pure virtual

Referenced by eval().

shouldCache()

virtual bool _MLShom::shouldCache ( ) const

inlinevirtualinherited

test if caching should be done : default means should cache

Reimplemented in nsMLShom::Identity.

Member Data Documentation

marking

bool _MLShom::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 MLShom::garbage().

refCounter

int _MLShom::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 files:

• MLSHom.h
• MLSHom.cpp