Fixing header bugs
[satune.git] / src / classlist.h
index 5cddf5846a35d53b71e7c6f0810697f5645551fe..2c9a00048c8b0bc2d61a52c1dc1470e9653cd6f7 100644 (file)
 #ifndef CLASSLIST_H
 #define CLASSLIST_H
 
-#include "mymemory.h"
 #include <inttypes.h>
 #include "classes.h"
-#include "AST/astnode.h"
+#include "astnode.h"
 
 
 class BooleanOrder;
@@ -67,10 +66,14 @@ class EncodingGraph;
 class EncodingNode;
 class EncodingEdge;
 
+class ElementEncoding;
+class FunctionEncoding;
+
 struct IncrementalSolver;
 typedef struct IncrementalSolver IncrementalSolver;
 struct TableEntry;
 typedef struct TableEntry TableEntry;
 typedef int TunableParam;
-
+struct Edge;
+typedef struct Edge Edge;
 #endif