Adding Support for BooleanVar
[satune.git] / src / classlist.h
index 3986a3051927f4ba1204957062112539240ffd88..55ead2954e92ea34cbd6a30f4bd7f625f1748f27 100644 (file)
@@ -76,6 +76,7 @@ class SignatureEnc;
 class Signature;
 class ElementSig;
 class SetSig;
+class BooleanSig;
 struct IncrementalSolver;
 typedef struct IncrementalSolver IncrementalSolver;
 struct TableEntry;