42 void pstats(
bool reinit=
true);
This class is the base class representing a Data Decision Diagram.
Definition DDD.h:49
This class is the base class representing a homomorphism over DDD.
Definition Hom.h:55
size_t peak()
Definition DED.cpp:614
void garbage()
Definition DED.cpp:620
unsigned int statistics()
Definition DED.cpp:573
void pstats(bool reinit=true)
Definition DED.cpp:577
GDDD add(const std::set< GDDD > &s)
Definition DED.cpp:636
std::set< Key, Compare, Allocator > type
Definition set.hh:18