From f311f043bceaf2aebfc26e679126b590fa2844be Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sun, 2 Dec 2012 13:40:32 +0100
Subject: [PATCH] some documentation for parser namespace

---
 src/parser/parser.h | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/parser/parser.h b/src/parser/parser.h
index 43dbe4637..235261d53 100644
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -24,6 +24,14 @@
 #include "src/exceptions/wrong_file_format.h"
 
 namespace mrmc {
+
+/*!
+ *	@brief Contains all file parser and helper classes.
+ *
+ *	This namespace contains everything needed to load data files (like
+ *	atomic propositions, transition systems, formulas, ...) including
+ *	methods for efficient file access (see MappedFile).
+ */
 namespace parser {
 	
 	/*!