Merging with branch Master

[satune.git] / src / classes.h

diff --git a/src/classes.h b/src/classes.h
new file mode 100644 (file)
index 0000000..3769439
--- /dev/null
+++ b/src/classes.h
@@ -0,0 +1,32 @@
+/*      Copyright (c) 2015 Regents of the University of California
+ *
+ *      Author: Brian Demsky <bdemsky@uci.edu>
+ *
+ *      This program is free software; you can redistribute it and/or
+ *      modify it under the terms of the GNU General Public License
+ *      version 2 as published by the Free Software Foundation.
+ */
+
+#ifndef CLASSES_H
+#define CLASSES_H
+
+#include "mymemory.h"
+#include <inttypes.h>
+
+class SATEncoder;
+class CSolver;
+class Boolean;
+class Element;
+class Predicate;
+class Table;
+class Order;
+class MutableSet;
+class Function;
+class Tuner;
+class Transformer;
+class Set;
+class BooleanLogic;
+typedef uint64_t VarType;
+typedef unsigned int uint;
+
+#endif