#ifndef LOG_HPP
#define LOG_HPP

#include <string>
#include <iostream>
#include <map>
#include <cstdio>

namespace solver_log {

  struct Logger : public std::ostream {
    Logger(std::streambuf*, const std::string&)
      : std::ostream(NULL) { }

    bool enabled() const {
      return false;
    }

    bool enabled(bool) {
      return false;
    }

  private:
  };

  Logger strategy(std::cerr.rdbuf(), "strategy");
  Logger fixpoint(std::cerr.rdbuf(), "fixpoint");
  Logger debug(std::cerr.rdbuf(), "debug");

}

#endif