#include <MLHom.h>
|
| virtual void | mark () const |
| | For garbage collection. Used in first phase of garbage collection. More...
|
| |
◆ clone()
| virtual _MLHom* _MLHom::clone |
( |
| ) |
const |
|
pure virtualinherited |
◆ eval()
Implements _MLHom.
References AdditiveMap< K, V, EqualKey >::add(), AdditiveMap< K, V, EqualKey >::begin(), GDDD::begin(), AdditiveMap< K, V, EqualKey >::end(), GDDD::end(), GHom::id, GDDD::null, GDDD::one, phi(), phiOne(), GDDD::top, and GDDD::variable().
◆ hash()
| virtual size_t _MLHom::hash |
( |
| ) |
const |
|
pure virtualinherited |
◆ mark()
| virtual void _MLHom::mark |
( |
| ) |
const |
|
inlineprivatevirtualinherited |
For garbage collection. Used in first phase of garbage collection.
◆ operator==() [1/2]
| bool StrongMLHom::operator== |
( |
const _MLHom & |
h | ) |
const |
|
virtual |
◆ operator==() [2/2]
| virtual bool StrongMLHom::operator== |
( |
const StrongMLHom & |
| ) |
const |
|
pure virtual |
◆ phi()
| virtual HomHomMap StrongMLHom::phi |
( |
int |
var, |
|
|
int |
val |
|
) |
| const |
|
pure virtual |
User defined behavior is input through this function.
Referenced by eval().
◆ phiOne()
◆ shouldCache()
| virtual bool _MLHom::shouldCache |
( |
| ) |
const |
|
inlinevirtualinherited |
test if caching should be done : default means should cache
Reimplemented in nsMLHom::Identity.
◆ marking
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
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:
