#ifndef CLASSLIST_H
#define CLASSLIST_H
+#include "mymemory.h"
#include <inttypes.h>
#include "classes.h"
#include "astnode.h"
class OrderEncoding;
class OrderGraph;
+class OrderNodeKey;
class OrderNode;
class OrderEdge;
+class DOREdge;
class AutoTuner;
+class CompTuner;
class SearchTuner;
class TunableSetting;
+class SerializeTuner;
+
class TunableDesc;
class OrderResolver;
class EncodingGraph;
class EncodingNode;
class EncodingEdge;
-
-class ElementEncoding;
-class FunctionEncoding;
-
+class EncodingSubGraph;
+class SignatureEnc;
+class Signature;
+class ValuedSignature;
+class AlloyElementSig;
+class AlloySetSig;
+class AlloyBoolSig;
struct IncrementalSolver;
typedef struct IncrementalSolver IncrementalSolver;
struct TableEntry;
typedef struct TableEntry TableEntry;
typedef int TunableParam;
-struct Edge;
-typedef struct Edge Edge;
#endif