#include <inttypes.h>
class CSolver;
-struct SATEncoder;
-typedef struct SATEncoder SATEncoder;
-
+class SATEncoder;
class Boolean;
class BooleanOrder;
class BooleanVar;
class Order;
class OrderPair;
-struct IncrementalSolver;
-typedef struct IncrementalSolver IncrementalSolver;
-
-
-
-struct OrderElement;
-typedef struct OrderElement OrderElement;
+class OrderElement;
+class IntegerEncodingRecord;
+class Transform;
class ElementEncoding;
class FunctionEncoding;
class OrderEncoding;
-struct TableEntry;
-typedef struct TableEntry TableEntry;
+class OrderGraph;
+class OrderNode;
+class OrderEdge;
-struct OrderGraph;
-typedef struct OrderGraph OrderGraph;
+class AutoTuner;
+class SearchTuner;
+class TunableSetting;
+class Pass;
+class Transform;
-struct OrderNode;
-typedef struct OrderNode OrderNode;
+struct IncrementalSolver;
+typedef struct IncrementalSolver IncrementalSolver;
-struct OrderEdge;
-typedef struct OrderEdge OrderEdge;
+struct TableEntry;
+typedef struct TableEntry TableEntry;
-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;