Bug fix for the tuner: missing mustHaveValue constraints

[satune.git] / src / classlist.h

diff --git a/src/classlist.h b/src/classlist.h
index 69c710ef3f927232ac5275f5ffaede8a07d151be..3269985504a2da78a90393ecb58a681bec7a19ca 100644 (file)
--- a/src/classlist.h
+++ b/src/classlist.h
@@ -51,8 +51,10 @@ class FunctionEncoding;
 class OrderEncoding;
 
 class OrderGraph;
+class OrderNodeKey;
 class OrderNode;
 class OrderEdge;
+class DOREdge;
 
 class AutoTuner;
 class SearchTuner;
@@ -66,6 +68,7 @@ class DecomposeOrderResolver;
 class EncodingGraph;
 class EncodingNode;
 class EncodingEdge;
+class EncodingSubGraph;
 
 struct IncrementalSolver;
 typedef struct IncrementalSolver IncrementalSolver;