update and standardize includes

+ update dependency graph

Author: xamidi

__dependency_graph.dot

@@ -2,7 +2,7 @@ digraph {
 	sha2 -> "(iomanip)" [color=blue]
 	sha2 -> "(iostream)" [color=blue]
 	sha2 -> "(sstream)" [color=blue]
-	sha2 -> string [color=blue]
+	sha2 -> "(cstring)" [color=blue]
 	sha2 -> "(cstdint)" [color=red]
 	sha2 -> "(string)" [color=red]
 	subgraph "cluster_D:/Dropbox/eclipse/pmGenerator\cryptography" {
@@ -20,7 +20,7 @@ digraph {
 		CfgGrammar
 	}
 	FctHelper -> "(iostream)" [color=blue]
-	FctHelper -> math [color=blue]
+	FctHelper -> "(cmath)" [color=blue]
 	FctHelper -> "(algorithm)" [color=red]
 	FctHelper -> "(array)" [color=red]
 	FctHelper -> "(charconv)" [color=red]
@@ -117,6 +117,7 @@ digraph {
 	DlProofEnumerator -> concurrent_vector [color=blue]
 	DlProofEnumerator -> parallel_for [color=blue]
 	DlProofEnumerator -> parallel_sort [color=blue]
+	DlProofEnumerator -> "(cmath)" [color=blue]
 	DlProofEnumerator -> "(cstdlib)" [color=blue]
 	DlProofEnumerator -> "(cstring)" [color=blue]
 	DlProofEnumerator -> "(numeric)" [color=blue]
@@ -159,9 +160,10 @@ digraph {
 	DRuleParser -> TreeNode [color=blue]
 	DRuleParser -> DlCore [color=blue]
 	DRuleParser -> DlFormula [color=blue]
+	DRuleParser -> DlProofEnumerator [color=blue]
 	DRuleParser -> "boost/algorithm/string" [color=blue]
+	DRuleParser -> concurrent_vector [color=blue]
 	DRuleParser -> parallel_for_each [color=blue]
-	DRuleParser -> "(iostream)" [color=blue]
 	DRuleParser -> "(numeric)" [color=blue]
 	DRuleParser -> "(cstddef)" [color=red]
 	DRuleParser -> "(map)" [color=red]

cryptography/sha2.cpp

@@ -3,7 +3,7 @@
 #include <iomanip>
 #include <iostream>
 #include <sstream>
-#include <string.h>
+#include <cstring>
 
 using namespace std;
 

helper/FctHelper.cpp

@@ -1,7 +1,7 @@
 #include "FctHelper.h"
 
 #include <iostream>
-#include <math.h>
+#include <cmath>
 
 using namespace std;
 

logic/DlProofEnumerator.cpp

@@ -15,6 +15,7 @@
 #include <tbb/parallel_for.h>
 #include <tbb/parallel_sort.h>
 
+#include <cmath>
 #include <cstdlib>
 #include <cstring>
 #include <numeric>

metamath/DRuleParser.cpp

@@ -11,8 +11,6 @@
 #include <tbb/concurrent_vector.h>
 #include <tbb/parallel_for_each.h>
 
-#include <cmath>
-#include <iostream>
 #include <numeric>
 
 using namespace std;