0b565410f9fa90003254bce3f9f907aae7ce0f1f
[satune.git] / src / Tuner / autotuner.h
1 #ifndef AUTOTUNER_H
2 #define AUTOTUNER_H
3 #include "classlist.h"
4 #include "structs.h"
5
6 class AutoTuner {
7  public:
8         AutoTuner();
9         void addProblem(CSolver *solver);
10         void tune();
11         MEMALLOC;
12  private:
13         Vector<CSolver *> solvers;
14 };
15 #endif