(native) switch includes from .h to C++ header wrappers

Consistently include cstdio instead of stdio.h, etc. For MinGW,
the default underlying stdio implementation (Microsoft DLL based vs
POSIX MinGW implementation) differs between C++ and C code, so
format string warnings pop up if we include the C header...


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12192 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/dd/dd.cc

@@ -25,7 +25,7 @@
 //	
 //==============================================================================
 
-#include <stdio.h>
+#include <cstdio>
 
 // output stream for anything printed by the dd package
 // (stdout by default)

prism/src/dd/dd_basics.cc

@@ -25,8 +25,8 @@
 //	
 //==============================================================================
 
-#include <stdio.h>
-#include <stdlib.h>
+#include <cstdio>
+#include <cstdlib>
 #include <util.h>
 #include <cudd.h>
 #include "dd_basics.h"

prism/src/dd/dd_export.cc

@@ -26,8 +26,8 @@
 //	
 //==============================================================================
 
-#include <stdio.h>
-#include <stdlib.h>
+#include <cstdio>
+#include <cstdlib>
 #include <cmath>
 #include <cinttypes>
 #include <util.h>

prism/src/dd/dd_matrix.cc

@@ -25,8 +25,8 @@
 //	
 //==============================================================================
 
-#include <stdio.h>
-#include <stdlib.h>
+#include <cstdio>
+#include <cstdlib>
 #include <cmath>
 #include <util.h>
 #include <limits>  // for NaN value

prism/src/dd/dd_test.cc

@@ -25,7 +25,7 @@
 //	
 //==============================================================================
 
-#include <stdio.h>
+#include <cstdio>
 
 #include <util.h>
 #include <cudd.h>

prism/src/hybrid/PrismHybrid.cc

@@ -25,9 +25,9 @@
 //==============================================================================
 
 #include "PrismHybrid.h"
-#include <stdio.h>
-#include <stdarg.h>
-#include <limits.h>
+#include <cstdio>
+#include <cstdarg>
+#include <limits>
 #include <util.h>
 #include <cudd.h>
 #include <dd.h>

prism/src/jdd/JDD.cc

@@ -30,7 +30,7 @@
 #include "JDDVars.h"
 #include "jnipointer.h"
 
-#include <stdio.h>
+#include <cstdio>
 #include <util.h>
 #include <cudd.h>
 #include <dd.h>

prism/src/mtbdd/PrismMTBDD.cc

@@ -25,8 +25,8 @@
 //==============================================================================
 
 #include "PrismMTBDD.h"
-#include <stdio.h>
-#include <stdarg.h>
+#include <cstdio>
+#include <cstdarg>
 #include <cmath>
 #include <limits.h>
 #include <util.h>

prism/src/prism/PrismNative.cc

@@ -25,9 +25,9 @@
 //==============================================================================
 
 #include "PrismNative.h"
-#include <stdio.h>
-#include <string.h>
-#include <limits.h>
+#include <cstdio>
+#include <cstring>
+#include <limits>
 #include <locale.h>
 #include <unistd.h>
 #include "PrismNativeGlob.h"

prism/src/prism/prism.cc

@@ -27,7 +27,7 @@
 
 // includes
 #include "prism.h"
-#include <stdio.h>
+#include <cstdio>
 #include <cmath>
 #include <new>
 #include <vector>

prism/src/sparse/PrismSparse.cc

@@ -26,9 +26,9 @@
 
 #include "PrismSparse.h"
 #include "NDSparseMatrix.h"
-#include <stdio.h>
-#include <stdarg.h>
-#include <limits.h>
+#include <cstdio>
+#include <cstdarg>
+#include <climits>
 #include <util.h>
 #include <cudd.h>
 #include <dd.h>