/* * 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()