add comment

diff --git a/src/solver.h b/src/solver.h
index 56afd88..eb6d306 100644 (file)
--- a/src/solver.h
+++ b/src/solver.h
@@ -109,8 +109,9 @@ typedef struct solver {
   int directdecisions;                 /* number of decisions with no rule */
 
   Id *decisionmap;                     /* map for all available solvables,
-                                          > 0: level of decision when installed,
-                                          < 0: level of decision when conflict */
+                                        * = 0: undecided
+                                        * > 0: level of decision when installed,
+                                        * < 0: level of decision when conflict */
 
   /* learnt rule history */
   Queue learnt_why;