stats()

template<typename Configuration>

void IntsSet< Configuration >::stats ( std::ostream & o ) const

inline

Definition at line 360 of file monomial-collection.hpp.

  {
    // TODO:
    //  display some info about hash table size, collisions.
    //  display memory usage (TODO: maybe memory usage should be a separate function too).
  }