From f11e63277f3609aa67f502cb13d855f0f810b266 Mon Sep 17 00:00:00 2001
From: Bruno <bruno.bodin@yale-nus.edu.sg>
Date: Wed, 29 Dec 2021 22:27:59 +0100
Subject: [PATCH] remove unused includes

---
 src/libkiter/algorithms/dse/base_monotonic_optimisation.cpp | 2 --
 src/libkiter/algorithms/dse/dse.cpp                         | 2 --
 src/libkiter/algorithms/dse/kperiodic.cpp                   | 2 --
 src/libkiter/algorithms/dse/monotonic_optimisation.cpp      | 2 --
 src/libkiter/algorithms/scc.cpp                             | 1 -
 .../algorithms/scheduling/CSDF_KPeriodicScheduling.cpp      | 6 ------
 .../algorithms/scheduling/CSDF_SPeriodicScheduling.cpp      | 1 -
 src/libkiter/algorithms/throughput/kperiodic.cpp            | 1 -
 src/libkiter/algorithms/throughput/so4_noc.cpp              | 1 -
 src/libkiter/algorithms/throughput/symbolic_execution.cpp   | 1 -
 src/libkiter/generators/LTEGeneator.cpp                     | 1 -
 11 files changed, 20 deletions(-)

diff --git a/src/libkiter/algorithms/dse/base_monotonic_optimisation.cpp b/src/libkiter/algorithms/dse/base_monotonic_optimisation.cpp
index b40fd2aa..3c028792 100644
--- a/src/libkiter/algorithms/dse/base_monotonic_optimisation.cpp
+++ b/src/libkiter/algorithms/dse/base_monotonic_optimisation.cpp
@@ -8,9 +8,7 @@
 
 #include <map>
 #include <vector>
-#include <printers/stdout.h>
 #include <commons/verbose.h>
-#include <printers/SDF3Wrapper.h> // to write XML files
 #include <commons/commons.h>
 #include <models/Dataflow.h>
 #include <models/EventGraph.h>
diff --git a/src/libkiter/algorithms/dse/dse.cpp b/src/libkiter/algorithms/dse/dse.cpp
index 0563baf7..390f3306 100644
--- a/src/libkiter/algorithms/dse/dse.cpp
+++ b/src/libkiter/algorithms/dse/dse.cpp
@@ -8,9 +8,7 @@
 
 #include <map>
 #include <vector>
-#include <printers/stdout.h>
 #include <commons/verbose.h>
-#include <printers/SDF3Wrapper.h> // to write XML files
 #include <commons/commons.h>
 #include <models/Dataflow.h>
 #include <models/EventGraph.h>
diff --git a/src/libkiter/algorithms/dse/kperiodic.cpp b/src/libkiter/algorithms/dse/kperiodic.cpp
index 63a9589e..d1062cbf 100644
--- a/src/libkiter/algorithms/dse/kperiodic.cpp
+++ b/src/libkiter/algorithms/dse/kperiodic.cpp
@@ -7,9 +7,7 @@
 
 #include <map>
 #include <vector>
-#include <printers/stdout.h>
 #include <commons/verbose.h>
-#include <printers/SDF3Wrapper.h> // to write XML files
 #include <commons/commons.h>
 #include <models/Dataflow.h>
 #include <models/EventGraph.h>
diff --git a/src/libkiter/algorithms/dse/monotonic_optimisation.cpp b/src/libkiter/algorithms/dse/monotonic_optimisation.cpp
index e8191b61..65fdb2da 100644
--- a/src/libkiter/algorithms/dse/monotonic_optimisation.cpp
+++ b/src/libkiter/algorithms/dse/monotonic_optimisation.cpp
@@ -7,9 +7,7 @@
 
 #include <map>
 #include <vector>
-#include <printers/stdout.h>
 #include <commons/verbose.h>
-#include <printers/SDF3Wrapper.h> // to write XML files
 #include <commons/commons.h>
 #include <models/Dataflow.h>
 #include <models/EventGraph.h>
diff --git a/src/libkiter/algorithms/scc.cpp b/src/libkiter/algorithms/scc.cpp
index 1b4d3e17..9182ca38 100644
--- a/src/libkiter/algorithms/scc.cpp
+++ b/src/libkiter/algorithms/scc.cpp
@@ -7,7 +7,6 @@
 #include <map>
 #include <vector>
 #include <stack>
-#include <printers/stdout.h>
 #include <commons/verbose.h>
 #include <commons/commons.h>
 #include <models/Dataflow.h>
diff --git a/src/libkiter/algorithms/scheduling/CSDF_KPeriodicScheduling.cpp b/src/libkiter/algorithms/scheduling/CSDF_KPeriodicScheduling.cpp
index ca0d51fb..7a5dad4b 100644
--- a/src/libkiter/algorithms/scheduling/CSDF_KPeriodicScheduling.cpp
+++ b/src/libkiter/algorithms/scheduling/CSDF_KPeriodicScheduling.cpp
@@ -10,7 +10,6 @@
 
 #include <algorithms/throughput/kperiodic.h>
 #include <models/EventGraph.h>
-#include <printers/SDF3Wrapper.h>
 
 
  const periodicity_vector_t algorithms::scheduling::generateNPeriodicVector (const models::Dataflow* dataflow) {
@@ -101,11 +100,6 @@ models::Scheduling algorithms::scheduling::CSDF_1PeriodicScheduling (const model
 
 models::Scheduling algorithms::scheduling::CSDF_KPeriodicScheduling    (const models::Dataflow* const dataflow) {
 
-	if (VERBOSE_IS_DEBUG()) {
-	    VERBOSE_DEBUG("Save SDF3 XML file.");
-		static int count = 0;
-		printers::writeSDF3File( "CSDF_KPeriodicScheduling_" + std::to_string(count++) + ".xml", dataflow);
-	}
 
    VERBOSE_ASSERT((dataflow->has_repetition_vector()),"inconsistent graph or repetition vector not computed");
 
diff --git a/src/libkiter/algorithms/scheduling/CSDF_SPeriodicScheduling.cpp b/src/libkiter/algorithms/scheduling/CSDF_SPeriodicScheduling.cpp
index 3f6d3596..a2fba9b0 100644
--- a/src/libkiter/algorithms/scheduling/CSDF_SPeriodicScheduling.cpp
+++ b/src/libkiter/algorithms/scheduling/CSDF_SPeriodicScheduling.cpp
@@ -11,7 +11,6 @@
 #include <models/Dataflow.h>
 #include <models/EventGraph.h>
 #include <map>
-#include <printers/stdout.h>
 #include <algorithms/throughput/csdf_strictly_periodic.h>
 
 
diff --git a/src/libkiter/algorithms/throughput/kperiodic.cpp b/src/libkiter/algorithms/throughput/kperiodic.cpp
index d1b12581..043becb9 100644
--- a/src/libkiter/algorithms/throughput/kperiodic.cpp
+++ b/src/libkiter/algorithms/throughput/kperiodic.cpp
@@ -13,7 +13,6 @@
 #include <chrono>
 #include <map>
 #include <vector>
-#include <printers/stdout.h>
 #include <commons/verbose.h>
 #include <models/Dataflow.h>
 #include <models/EventGraph.h>
diff --git a/src/libkiter/algorithms/throughput/so4_noc.cpp b/src/libkiter/algorithms/throughput/so4_noc.cpp
index 01760ee6..67577382 100644
--- a/src/libkiter/algorithms/throughput/so4_noc.cpp
+++ b/src/libkiter/algorithms/throughput/so4_noc.cpp
@@ -14,7 +14,6 @@
 #include "actor.h"
 #include "state.h"
 #include "so4_noc.h"
-#include <printers/stdout.h>
 #include "../../models/Scheduling.h"
 #include "../scc.h"
 #include "../buffersizing/periodic_fixed.h"
diff --git a/src/libkiter/algorithms/throughput/symbolic_execution.cpp b/src/libkiter/algorithms/throughput/symbolic_execution.cpp
index c3fa977f..894e3afb 100644
--- a/src/libkiter/algorithms/throughput/symbolic_execution.cpp
+++ b/src/libkiter/algorithms/throughput/symbolic_execution.cpp
@@ -8,7 +8,6 @@
 #include <algorithm>
 #include <map>
 #include <vector>
-#include <printers/stdout.h>
 #include <commons/verbose.h>
 #include <commons/commons.h>
 #include <models/Dataflow.h>
diff --git a/src/libkiter/generators/LTEGeneator.cpp b/src/libkiter/generators/LTEGeneator.cpp
index 7a91e8c0..f0d8bfa7 100644
--- a/src/libkiter/generators/LTEGeneator.cpp
+++ b/src/libkiter/generators/LTEGeneator.cpp
@@ -7,7 +7,6 @@
 
 #include "LTEGenerator.h"
 #include <models/Dataflow.h>
-#include <printers/SDF3Wrapper.h>
 
 models::Dataflow*  generators::generate_lte_sdf(parameters_list_t   param_list) {