X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=src%2Fclasslist.h;h=5cddf5846a35d53b71e7c6f0810697f5645551fe;hb=cb887a9e8e6cc23c2e09638a1f7bceed4ce1868a;hp=e8ab113ab24e360a552c159d3a4c4d9d5b0c4586;hpb=7fb0eb9a3dcf843f413d858e1cf66e9e13de200f;p=satune.git

diff --git a/src/classlist.h b/src/classlist.h
index e8ab113..5cddf58 100644
--- a/src/classlist.h
+++ b/src/classlist.h
@@ -13,6 +13,7 @@
 #include "mymemory.h"
 #include <inttypes.h>
 #include "classes.h"
+#include "AST/astnode.h"
 
 
 class BooleanOrder;
@@ -59,6 +60,13 @@ class TunableSetting;
 
 class TunableDesc;
 
+class OrderResolver;
+class DecomposeOrderResolver;
+
+class EncodingGraph;
+class EncodingNode;
+class EncodingEdge;
+
 struct IncrementalSolver;
 typedef struct IncrementalSolver IncrementalSolver;
 struct TableEntry;