add comments to ParsedFormula struct

timbeurskens · Mar 13, 2022 · 3cdaf3c · 3cdaf3c
1 parent ce71744
commit 3cdaf3c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/parser.rs b/src/parser.rs
@@ -90,9 +90,13 @@ pub enum SymbolicBDD {
 
 #[derive(Debug, Clone)]
 pub struct ParsedFormula {
+    // all variables in the parse tree
     pub vars: Vec<String>,
+    // all variables not bound by a quantifier in the parse tree
     pub free_vars: Vec<String>,
+    // the parse tree
     pub bdd: SymbolicBDD,
+    // the environment
     pub env: RefCell<BDDEnv<NamedSymbol>>,
 }