make use of the logger some more and silence the "hops" (print!(".")).

Author: pazz

src/main.rs

@@ -16,6 +16,8 @@ mod solution;
 mod solver;
 mod strategy;
 use log::LevelFilter;
+use log::{debug, error, log_enabled, info, Level};
+
 
 #[derive(Debug, Copy, Clone, PartialEq, Eq, PartialOrd, Ord, ValueEnum)]
 enum OutputFormat {
@@ -104,7 +106,7 @@ fn main() {
     let nfa = nfa::Nfa::load_from_file(&args.filename, &args.input_format, &args.state_ordering);
 
     // print the input automaton
-    println!("{}", nfa);
+    info!("{}", nfa);
 
     // compute the solution
     let solution = solver::solve(&nfa, &args.solver_output);

src/semigroup.rs

@@ -194,7 +194,7 @@ impl FlowSemigroup {
             let mut changed = false;
             while !to_process_mult.is_empty() {
                 let flow = to_process_mult.pop_front().unwrap();
-                print!(".");
+                //print!(".");
                 io::stdout().flush().unwrap();
                 debug!("\nClose by product processing flow\n{}\n", flow);
                 /*if Self::is_covered(&flow, &processed) {
@@ -250,7 +250,7 @@ impl FlowSemigroup {
             while !to_process_iter.is_empty() {
                 let flow = to_process_iter.pop_front().unwrap();
                 debug_assert!(flow.is_idempotent());
-                print!(".");
+                //print!(".");
                 debug!("\nClose by product processing flow\n{}\n", flow);
                 let iteration = flow.iteration();
                 if !Self::is_covered(&iteration, &self.flows) {

src/strategy.rs

@@ -38,7 +38,7 @@ impl Strategy {
     ) -> bool {
         let mut result = false;
         for (a, downset) in self.0.iter_mut() {
-            print!(".");
+            // print!(".");
             io::stdout().flush().unwrap();
             let edges = edges_per_letter.get(a).unwrap();
             let safe_pre_image = safe.safe_pre_image(edges, maximal_finite_value);