edits

[satune.git] / src / classlist.h

diff --git a/src/classlist.h b/src/classlist.h
index 993a14733bfb0590d3bdd055c7e2295e65c57351..dd97e086c3675e2599969bae8beb5bb406969625 100644 (file)
--- a/src/classlist.h
+++ b/src/classlist.h
@@ -14,9 +14,7 @@
 #include <inttypes.h>
 
 class CSolver;
-struct SATEncoder;
-typedef struct SATEncoder SATEncoder;
-
+class SATEncoder;
 class Boolean;
 class BooleanOrder;
 class BooleanVar;
@@ -42,33 +40,27 @@ class Table;
 class Order;
 class OrderPair;
 
-struct IncrementalSolver;
-typedef struct IncrementalSolver IncrementalSolver;
-
-
-
 class OrderElement;
 
 class ElementEncoding;
 class FunctionEncoding;
 class OrderEncoding;
 
-struct TableEntry;
-typedef struct TableEntry TableEntry;
-
-struct OrderGraph;
-typedef struct OrderGraph OrderGraph;
-
+class OrderGraph;
 class OrderNode;
 class OrderEdge;
 
-struct OrderEncoder;
-typedef struct OrderEncoder OrderEncoder;
+class AutoTuner;
+
+struct IncrementalSolver;
+typedef struct IncrementalSolver IncrementalSolver;
+
+struct TableEntry;
+typedef struct TableEntry TableEntry;
+
+class Tuner;
+class TunableDesc;
 
-struct Tuner;
-typedef struct Tuner Tuner;
-struct TunableDesc;
-typedef struct TunableDesc TunableDesc;
 typedef int TunableParam;
 
 typedef unsigned int uint;