41 void pstats(
bool reinit=
true);
52GShom pushEVSDD(
int v);
void square_union(std::map< GSDD, DataSet * > &res, const GSDD &s, DataSet *d)
Definition SDED.cpp:103
This class is an abstraction of a set of data.
Definition DataSet.h:44
This class is the base class representing a hierarchical Set Decision Diagram.
Definition SDD.h:49
This class is the base class for Homomorphisms over SDD.
Definition SHom.h:57
void pstats(bool reinit=true)
Definition SDED.cpp:673
unsigned int statistics()
Definition SDED.cpp:668
size_t peak()
Definition SDED.cpp:688
void garbage()
Definition SDED.cpp:694
GSDD add(const d3::set< GSDD >::type &)
Definition SDED.cpp:707
std::set< Key, Compare, Allocator > type
Definition set.hh:18