#ifndef CLASSLIST_H
#define CLASSLIST_H
-#include "mymemory.h"
#include <inttypes.h>
#include "classes.h"
-#include "AST/astnode.h"
+#include "astnode.h"
class BooleanOrder;
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