edits

[satune.git] / src / classlist.h

diff --git a/src/classlist.h b/src/classlist.h
index 32230d0b3e69399a17ff1ee706aacc0c769bb145..dd97e086c3675e2599969bae8beb5bb406969625 100644 (file)
--- a/src/classlist.h
+++ b/src/classlist.h
@@ -12,14 +12,9 @@
 
 #include "mymemory.h"
 #include <inttypes.h>
-#define bool int
-#define true 1
-#define false 0
 
 class CSolver;
-struct SATEncoder;
-typedef struct SATEncoder SATEncoder;
-
+class SATEncoder;
 class Boolean;
 class BooleanOrder;
 class BooleanVar;
@@ -43,44 +38,29 @@ class PredicateTable;
 class PredicateOperator;
 class Table;
 class Order;
+class OrderPair;
 
-struct IncrementalSolver;
-typedef struct IncrementalSolver IncrementalSolver;
+class OrderElement;
 
-struct OrderPair;
-typedef struct OrderPair OrderPair;
+class ElementEncoding;
+class FunctionEncoding;
+class OrderEncoding;
 
-struct OrderElement;
-typedef struct OrderElement OrderElement;
+class OrderGraph;
+class OrderNode;
+class OrderEdge;
 
-struct ElementEncoding;
-typedef struct ElementEncoding ElementEncoding;
+class AutoTuner;
 
-struct FunctionEncoding;
-typedef struct FunctionEncoding FunctionEncoding;
-
-struct OrderEncoding;
-typedef struct OrderEncoding OrderEncoding;
+struct IncrementalSolver;
+typedef struct IncrementalSolver IncrementalSolver;
 
 struct TableEntry;
 typedef struct TableEntry TableEntry;
 
-struct OrderGraph;
-typedef struct OrderGraph OrderGraph;
-
-struct OrderNode;
-typedef struct OrderNode OrderNode;
-
-struct OrderEdge;
-typedef struct OrderEdge OrderEdge;
-
-struct OrderEncoder;
-typedef struct OrderEncoder OrderEncoder;
+class Tuner;
+class TunableDesc;
 
-struct Tuner;
-typedef struct Tuner Tuner;
-struct TunableDesc;
-typedef struct TunableDesc TunableDesc;
 typedef int TunableParam;
 
 typedef unsigned int uint;