From f1a797fb3880758b983348e091569cb846b4f6be Mon Sep 17 00:00:00 2001
From: monsterkrampe <monsterkrampe@users.noreply.github.com>
Date: Thu, 26 Jun 2025 16:42:57 +0200
Subject: [PATCH] Add missing doc strings

---
 lib/src/parser.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/src/parser.rs b/lib/src/parser.rs
index 5542b9b..bd211ff 100644
--- a/lib/src/parser.rs
+++ b/lib/src/parser.rs
@@ -133,9 +133,13 @@ impl std::fmt::Debug for Formula {
 /// Note that the parser can be utilised by an [ADF][`crate::adf::Adf`] to initialise it with minimal overhead.
 #[derive(Debug)]
 pub struct AdfParser {
+    /// A name for each statement (identified by index in vector)
     pub namelist: Arc<RwLock<Vec<String>>>,
+    /// Inverse mapping from name to index of statement in vector above
     pub dict: Arc<RwLock<HashMap<String, usize>>>,
+    /// The formula (acceptance condition) for each statement identified by its index
     pub formulae: RefCell<Vec<Formula>>,
+    /// The formula for each statement identified by its index
     pub formulaname: RefCell<Vec<String>>,
 }