Added is_free_of, is_2_connected and thorem 3.1

1 files changed, 6 insertions, 0 deletions

diff --git a/graph-checker/src/main.rs b/graph-checker/src/main.rs
index 54af780..b3d8602 100644
--- a/graph-checker/src/main.rs
+++ b/graph-checker/src/main.rs
@@ -8,6 +8,7 @@ mod theorems;
 use crate::theorems::basic::{
     bondy_chvatal_hamiltonian_cycle, dirac_theorem, ore_theorem, posa_theorem,
 };
+use crate::theorems::forbidden;
 use crate::theorems::toughness::{theorem15, theorem25};
 
 struct Counters {
@@ -69,6 +70,11 @@ fn main() {
 
         let min_degree = g.min_degree() as f64;
 
+        // TODO: add counter
+        if forbidden::theorem3_1(&g) {
+            println!("g6:t3_1:{}", line);
+        }
+
         if theorem15(&g, toughness, min_degree) {
             counters.t15_hamiltonian += 1;
             println!("g6:bigalke-jung:{}", line);