- Added some doxygen documentation.

2004-07-19 13:31:44 +00:00
parent 03c19a4774
commit ffecc1a1ac
3 changed files with 22 additions and 0 deletions
--- a/src/modelchecker.c
+++ b/src/modelchecker.c
@@ -1,3 +1,9 @@
+/*!\file modelchecker.c
+ * \brief The main procedures guiding the (optimized) traversal of the state space.
+ *
+ * This file implements various traversal methods through the state space.
+ */
+
 #include <stdlib.h>
 #include <stdio.h>
 #include <limits.h>