DED Namespace Reference

Functions
size_t	peak ()
void	garbage ()
GDDD	add (const std::set< GDDD > &s)
GDDD	add (const d3::set< GDDD >::type &)
unsigned int	statistics ()
void	pstats (bool reinit=true)

Function Documentation

add() [1/2]

GDDD DED::add

(

const d3::set< GDDD >::type &

)

add() [2/2]

GDDD DED::add

(

const std::set< GDDD > &

s

)

References GDDD::begin(), _DED_Add::create(), and GDDD::null.

Referenced by _DED_Add::eval(), StrongHom::eval(), Apply2k::eval(), DomExtract::eval(), Add::eval(), Fixpoint::eval(), MLHomAdapter::eval(), and operator+().

garbage()

void DED::garbage

(

)

References DEDpeak, UniqueTable< T >::size(), UniqueTable< T >::table, and uniqueDED.

Referenced by MemoryManager::garbage().

peak()

size_t DED::peak

(

)

References DEDpeak, UniqueTable< T >::table, and uniqueDED.

Referenced by Statistic::load(), and Statistic::load().

pstats()

void DED::pstats

(

bool

reinit = true

)

References cache, Hits, Misses, UniqueTable< T >::size(), and uniqueDED.

Referenced by MemoryManager::pstats().

statistics()

unsigned int DED::statistics

(

)

References UniqueTable< T >::table, and uniqueDED.

Referenced by Statistic::load(), Statistic::load(), and MemoryManager::nbDED().