class DOREdge;
class AutoTuner;
-class MultiTuner;
+class CompTuner;
class SearchTuner;
class TunableSetting;
-class StaticAutoTuner;
-class StaticSearchTuner;
+class SerializeTuner;
class TunableDesc;
class EncodingNode;
class EncodingEdge;
class EncodingSubGraph;
-
+class SignatureEnc;
+class Signature;
+class ValuedSignature;
+class AlloyElementSig;
+class AlloySetSig;
+class AlloyBoolSig;
struct IncrementalSolver;
typedef struct IncrementalSolver IncrementalSolver;
struct TableEntry;