/*
   * Document-method: discard
   *
   * There is no destructor defined for Pool since the pool pointer
   * is mostly used implicitly (e.g. in Solvable or Solver) which
   * cannot be reliably tracked in the bindings.
   *
   * Deleting the Pool is seldomly needed anyways. Just call
   * Pool::discard to explicitly free the pool. Just remember that
   * Solvables originating from this Pool are invalidated.
   *
   */
   
  void discard()