Method generated

log.hh:25–28

/// logger to dump all generated queries
struct query_dumper : logger {
  virtual void generated(prod &query) {
       query.out(std::cout);
       std::cout << ";" << std::endl;
  }
};

/// logger for statistics collection