projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
[satune.git]
/
src
/
classlist.h
diff --git
a/src/classlist.h
b/src/classlist.h
index e8ab113ab24e360a552c159d3a4c4d9d5b0c4586..5cddf5846a35d53b71e7c6f0810697f5645551fe 100644
(file)
--- a/
src/classlist.h
+++ b/
src/classlist.h
@@
-13,6
+13,7
@@
#include "mymemory.h"
#include <inttypes.h>
#include "classes.h"
#include "mymemory.h"
#include <inttypes.h>
#include "classes.h"
+#include "AST/astnode.h"
class BooleanOrder;
class BooleanOrder;
@@
-59,6
+60,13
@@
class TunableSetting;
class TunableDesc;
class TunableDesc;
+class OrderResolver;
+class DecomposeOrderResolver;
+
+class EncodingGraph;
+class EncodingNode;
+class EncodingEdge;
+
struct IncrementalSolver;
typedef struct IncrementalSolver IncrementalSolver;
struct TableEntry;
struct IncrementalSolver;
typedef struct IncrementalSolver IncrementalSolver;
struct TableEntry;