-
-struct OrderEncoder;
-typedef struct OrderEncoder OrderEncoder;
-
-struct Tuner;
-typedef struct Tuner Tuner;
-struct TunableDesc;
-typedef struct TunableDesc TunableDesc;
+class DOREdge;
+
+class AutoTuner;
+class CompTuner;
+class SearchTuner;
+class TunableSetting;
+
+class SerializeTuner;
+
+class TunableDesc;
+
+class OrderResolver;
+class DecomposeOrderResolver;
+
+class EncodingGraph;
+class EncodingNode;
+class EncodingEdge;
+class EncodingSubGraph;
+class SignatureEnc;
+class Signature;
+class ValuedSignature;
+class ElementSig;
+class SetSig;
+class BooleanSig;
+struct IncrementalSolver;
+typedef struct IncrementalSolver IncrementalSolver;
+struct TableEntry;
+typedef struct TableEntry TableEntry;