edits
[satune.git] / src / csolver.h
index 15d3f47f305effa88dbd26bb3afed1f4a4303d6d..d11523b2c2ed031252c724dd4d28f6e9b9c84c77 100644 (file)
@@ -5,9 +5,16 @@
 #include "structs.h"
 
 struct CSolver {
+       /** This is a vector of constraints that must be satisfied. */
        VectorBoolean * constraints;
+
+       /** This is a vector of all boolean structs that we have allocated. */
        VectorBoolean * allBooleans;
+
+       /** This is a vector of all set structs that we have allocated. */
        VectorSet * allSets;
+
+       /** This is a vector of all element structs that we have allocated. */
        VectorElement * allElements;
 };