1)core dump in regex for big strings 2) Boolean Var bugs 3) adding support for other...

[satune.git] / src / classlist.h

diff --git a/src/classlist.h b/src/classlist.h
index 0def1ff48f8ff0be70cbe0000ef9a9ace68cd4fc..d81b9bc9c6e683e8f45d8cc67df45f73dd392b45 100644 (file)
--- a/src/classlist.h
+++ b/src/classlist.h
@@ -57,12 +57,11 @@ class OrderEdge;
 class DOREdge;
 
 class AutoTuner;
-class MultiTuner;
+class CompTuner;
 class SearchTuner;
 class TunableSetting;
 
-class StaticAutoTuner;
-class StaticSearchTuner;
+class SerializeTuner;
 
 class TunableDesc;
 
@@ -73,7 +72,12 @@ class EncodingGraph;
 class EncodingNode;
 class EncodingEdge;
 class EncodingSubGraph;
-
+class SignatureEnc;
+class Signature;
+class ValuedSignature;
+class ElementSig;
+class SetSig;
+class BooleanSig;
 struct IncrementalSolver;
 typedef struct IncrementalSolver IncrementalSolver;
 struct TableEntry;