Fix typos and missed DIMACS CNF -> WCNF in docs

jix · Mar 16, 2021 · 5937bf9 · 5937bf9
1 parent 6c51055
commit 5937bf9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/flussab-cnf/src/cnf.rs b/flussab-cnf/src/cnf.rs
@@ -17,7 +17,7 @@ pub struct Header {
     pub var_count: usize,
     /// Number of clauses present in the formula.
     ///
-    /// Ignored during parsign when `0`.
+    /// Ignored during parsing when `0`.
     pub clause_count: usize,
 }
 

diff --git a/flussab-cnf/src/wcnf.rs b/flussab-cnf/src/wcnf.rs
@@ -19,7 +19,7 @@ pub struct Header {
     pub var_count: usize,
     /// Number of clauses present in the formula.
     ///
-    /// Ignored during parsign when `0`.
+    /// Ignored during parsing when `0`.
     pub clause_count: usize,
 
     /// The weight used to indicate hard clauses.
@@ -29,7 +29,7 @@ pub struct Header {
     pub top_weight: u64,
 }
 
-/// Parser for the DIMACS CNF file format.
+/// Parser for the WCNF file format.
 pub struct Parser<'a, L> {
     reader: LineReader<'a>,
     clause_count: usize,
@@ -149,7 +149,7 @@ where
             .optional()
     }
 
-    /// Returns the DIMACS CNF header if it was present.
+    /// Returns the WCNF header if it was present.
     pub fn header(&self) -> Option<Header> {
         self.header
     }