Configure Doxygen Better for C

[satune.git] / src / classlist.h

diff --git a/src/classlist.h b/src/classlist.h
index 53555ed87c88778bac05688a6cfb30fbfdce6c43..c6a7cb7f434902896e69c9f0cf20a4bf3687458e 100644 (file)
--- a/src/classlist.h
+++ b/src/classlist.h
@@ -9,9 +9,15 @@
 
 #ifndef CLASSLIST_H
 #define CLASSLIST_H
-#include "hashset.h"
+//#include "hashset.h"
 #include "mymemory.h"
 #include <inttypes.h>
+#define bool int
+#define true 1
+#define false 0
+
+struct CSolver;
+typedef struct CSolver CSolver;
 
 struct Constraint;
 typedef struct Constraint Constraint;
@@ -20,7 +26,7 @@ struct Boolean;
 typedef struct Boolean Boolean;
 
 struct IncrementalSolver;
-typedef struct IncrementSolver IncrementalSolver;
+typedef struct IncrementalSolver IncrementalSolver;
 
 struct Set;
 typedef struct Set Set;
@@ -34,7 +40,7 @@ struct Function;
 typedef struct Function Function;
 
 struct Predicate;
-typedef struct Predicat Predicate;
+typedef struct Predicate Predicate;
 
 struct Table;
 typedef struct Table Table;