Environment.h

Go to the documentation of this file.

//
// Minotaur -- It's only 1/2 bull!
//
// (C)opyright 2009 - 2025 The Minotaur Team.
//
 
#ifndef ENVIRONMENT_H
#define ENVIRONMENT_H
 
#include "Types.h"
#include "Logger.h"
#include "Option.h"
#include "Timer.h"
 
namespace Minotaur {
 
  class Environment {
    public:
      Environment();
 
      ~Environment();
 
      LoggerPtr getLogger() const;
 
      LogLevel getLogLevel() const;
 
      Timer *getNewTimer();
 
      OptionDBPtr getOptions();
 
      double getTime();
 
      const Timer* getTimer();
 
 
      // code for wall time
      double getWTime();
      const Timer* getWTimer();
 
            double timeLimit();
 
      std::string getVersion();
      
      void initRand();
 
      void readOptions(int argc, char **argv);
 
      void readOptions(const std::string &str);
 
      void setLogLevel(LogLevel l);
 
    private:
      LoggerPtr logger_;
 
      static const std::string me_;
 
      OptionDBPtr options_;
 
      Timer *timer_;
 
      TimerFactory *timerFac_;
 
      void convertAndAddOneOption_(BoolOptionPtr &b_option,
                                   IntOptionPtr &i_option,
                                   DoubleOptionPtr &d_option,
                                   StringOptionPtr &s_option,
                                   FlagOptionPtr &f_option,
                                   std::string &name,
                                   std::string &value,
                                   std::ostringstream &logstr);
        
      void createDefaultOptions_();
 
      /*
       * Find an option with the provided name. The option is option of that
       * type is returned and all others are NULLed.
       */
      void findOption_(const std::string &name, BoolOptionPtr &b_option,
          IntOptionPtr &i_option, DoubleOptionPtr &d_option, 
          StringOptionPtr &s_option, FlagOptionPtr &f_option);
 
      bool getBoolValue_(const std::string & str);
 
      void readConfigFile_(std::string fname, UInt &num_p);
 
      UInt removeDashes_(std::string &name);
 
      void removeMinotaurPrepend_(std::string & fullname);
 
      std::string separateEqualToArg_(std::string &name);
  };
}
#endif