From: bdemsky <bdemsky@uci.edu>
Date: Mon, 28 Aug 2017 00:59:09 +0000 (-0700)
Subject: edit
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=b05a773eedcf4d450cf645e94267b2f095b04204;hp=852184b398d1e4c1e70b3d997bd18ba2b96490a5

edit
---

diff --git a/src/Tuner/autotuner.cc b/src/Tuner/autotuner.cc
new file mode 100644
index 0000000..37a9d07
--- /dev/null
+++ b/src/Tuner/autotuner.cc
@@ -0,0 +1,3 @@
+#include "autotuner.h"
+#include "csolver.h"
+
diff --git a/src/Tuner/autotuner.h b/src/Tuner/autotuner.h
new file mode 100644
index 0000000..ca27f40
--- /dev/null
+++ b/src/Tuner/autotuner.h
@@ -0,0 +1,12 @@
+#ifndef AUTOTUNER_H
+#define AUTOTUNER_H
+#include "classlist.h"
+
+class AutoTuner {
+ public:
+	AutoTuner();
+	void tune(CSolver *solver);
+	MEMALLOC;
+ private:
+};
+#endif