From ffecc1a1ac34d6ca686042e053d76f7788efa1d4 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 19 Jul 2004 13:31:44 +0000
Subject: [PATCH] - Added some doxygen documentation.

---
 src/match_basic.c  | 7 +++++++
 src/match_clp.c    | 9 +++++++++
 src/modelchecker.c | 6 ++++++
 3 files changed, 22 insertions(+)

diff --git a/src/match_basic.c b/src/match_basic.c
index e72d5bb..b8c5e50 100644
--- a/src/match_basic.c
+++ b/src/match_basic.c
@@ -1,3 +1,10 @@
+/*!\file match_basic.c
+ *\brief Implements the match function.
+ *
+ * The match function here is integrated here with an enabled() function.
+ *  It is also the basic match, so not suited for Constraint Logic Programming. 
+ */
+ 
 #include <stdlib.h>
 #include <stdio.h>
 #include "memory.h"
diff --git a/src/match_clp.c b/src/match_clp.c
index 1872a26..bd62e13 100644
--- a/src/match_clp.c
+++ b/src/match_clp.c
@@ -1,3 +1,12 @@
+/*!\file match_clp.c
+ *\brief Implements the match function.
+ *
+ * The match function here is integrated here with an enabled() function.
+ * It is the constraint-logic based match.
+ *
+ *\warning Some code is obsolete, as there hasn't been any development on the CL version for a while.
+ */
+
 #include <stdlib.h>
 #include <stdio.h>
 #include "match_clp.h"
diff --git a/src/modelchecker.c b/src/modelchecker.c
index f5e8c07..98a2879 100644
--- 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>