Member _GShom::~_GShom (): Remove this declaration ? compiler generated version sufficient.
Member _VarCompVar::compose (const GHom &other) const: other cases to be treated
Class DataSet: recent experiments with V. Beaudenon show maybe some behavior should be put here, for instance set_intersect is always empty if incompatible types are compared.
Member GDDD::garbage (): describe garbage collection algorithm(s) + mark usage homogeneously in one place.
Member GDDD::GDDD (int variable, const Valuation &value): why is this public ??? WARNING Valuation should be sorted according to arc values
Member GDDD::getvarName (int var): This function should be implemented in a name manager somewhere so that it is common to DDD and SDD variables.
Member GDDD::pstats (bool reinit=true): allow output in other place than cout. Clean up output.
Member GDDD::varName (int var, const std::string &name): This function should be implemented in a name manager somewhere so that it is common to DDD and SDD variables.
Member GHom::add (const d3::set< GHom >::type &set): std::set not very efficient for storage, replace by a sorted vector ?
Member GHom::ccompose (const d3::set< GHom >::type &set): std::set not very efficient for storage, replace by a sorted vector ?
Member GHom::pstats (bool reinit=true): allow output in other place than cout. Clean up output.
Member GSDD::garbage (): describe garbage collection algorithm(s) + mark usage homogeneously in one place.
Member GSDD::pstats (bool reinit=true): allow output in other place than cout. Clean up output.
Member GShom::add (const d3::set< GShom >::type &s): : move this to friend status not static member for more homogeneity with other operators.
Member GShom::pstats (bool reinit=true): Allow output not in std::cout.
Member MemoryManager::mark (const GDDD &g): : track usage and check whether this is useful, SDD version undefined.
Member MemoryManager::mark (const GHom &h): : track usage and check whether this is useful, SDD version undefined.
Class MyGHom: : What IS this for ? get rid of it.
Member SDDutil::getTable (): implement nice generic dot export and eliminate this.
Member StrongHom::StrongHom (): Is this declaration useful ?
Member StrongHom::~StrongHom (): Is this declaration useful ?
Member StrongShom::StrongShom (): Is this declaration useful ?
Member StrongShom::~StrongShom (): Is this declaration useful ?