Control.h

Go to the documentation of this file.

#if !defined(_CONTROL_HH_)
#define _CONTROL_HH_

#include <stdexcept>
#include <list>
#include <string>
#include <iostream>
#include <memory>
#include <sstream>
//#include "easylocal/utils/types.hh"


#ifdef WIN32
#pragma warning(disable:4786)
#endif


#include "easylocal/utils/Parameters.h"
#include "easylocal/utils/Defaults.hh"


//#include "Utilities.h"
//#include "Parameters.h"
//#include "Settings.h"

using namespace std;

//#include "Timer.h"
//#include "Random.h"
#include <map>

class Control {
private:
    //map< string, string > parameters;
    //Timer timer;

    int nrTry, maxTry;

    int seed;
    double timeLimit;

    ostream *os;

    const char *ss;

public:

    Control(int, char**); // construct a control object, given a set of command line options
    ~Control();
    const char *is;
    const char *param_set_file;

    Longint ls_iter;


    int runner;
    int max_restart;
    int solver;
    Longint max_iter;
    Longint max_idle;

    Bool print_statistics;
    Bool certificate;
    string os_certificate;

    void Usage();

    void ComParser(int argc, char** argv);
    int getSeed() {
        return seed;
    } // get the seed for the random number generator
    void resetTime(); // reset the timer

    ; // check whether our run has time left
    int getNumTry() {
        return (nrTry);
    }
    ;


    const char *getInputStream() {
        return is;
    } // get the input stream for constructing problems
    const char *getInputSolutionStream() {
        return ss;
    } // get the input stream for constructing problems
    ostream& getOutputStream() {
        return *os;
    } // get the output stream used for writing output data
    int getNumberOfTries() {
        return maxTry;
    } // get the max number of tries
    bool triesLeft() {
        return (nrTry < maxTry);
    } // check whether more tries need to be run
    double getTimeLimit() {
        return timeLimit;
    } // get the time limit of one run
    void informationsReport();
    char *readline(istream &infile);
    char *match(char *source, char *prefix);
    void SetDefaultParameters();
    const char *fullPathToInstance() {return is;};

    Parameters *parset;

};

#endif