chore: extracted theorem checks to separate function

1 files changed, 19 insertions, 1 deletions

diff --git a/graph-checker/src/graph.rs b/graph-checker/src/graph.rs
index 67dbb59..a4390d4 100644
--- a/graph-checker/src/graph.rs
+++ b/graph-checker/src/graph.rs
@@ -1,4 +1,4 @@
-use std::collections::HashSet;
+use std::collections::{HashMap, HashSet};
 use std::fmt;
 
 #[derive(Clone, PartialEq, Eq)]
@@ -7,6 +7,24 @@ pub struct Graph {
     pub matrix: Vec<Vec<u32>>,
 }
 
+pub struct GraphProfile {
+    g6: String,
+    stats: HashMap<String, bool>,
+}
+
+impl GraphProfile {
+    pub fn new(g6: &String) -> Self {
+        Self {
+            g6: g6.clone(),
+            stats: HashMap::new(),
+        }
+    }
+
+    pub fn insert(&mut self, key: String, value: bool) {
+        self.stats.insert(key, value);
+    }
+}
+
 #[derive(Clone, PartialEq, Eq, Debug)]
 pub struct Cutset {
     pub cardinality: usize,