Clarified spec

dlib/threads/parallel_for_extension_abstract.h

@@ -23,6 +23,7 @@ namespace dlib
         requires
             - begin <= end
             - chunks_per_thread > 0
+            - funct does not throw any exceptions
         ensures
             - This is a convenience function for submitting a block of jobs to a thread_pool.  
               In particular, given the half open range [begin, end), this function will
@@ -59,6 +60,7 @@ namespace dlib
         requires
             - begin <= end
             - chunks_per_thread > 0
+            - funct does not throw any exceptions
         ensures
             - This function is equivalent to the following block of code:
                 thread_pool tp(num_threads);
@@ -79,6 +81,7 @@ namespace dlib
         requires
             - chunks_per_thread > 0
             - begin <= end
+            - funct does not throw any exceptions
         ensures
             - This is a convenience function for submitting a block of jobs to a
               thread_pool.  In particular, given the range [begin, end), this function will
@@ -113,6 +116,7 @@ namespace dlib
         requires
             - begin <= end
             - chunks_per_thread > 0
+            - funct does not throw any exceptions
         ensures
             - This function is equivalent to the following block of code:
                 thread_pool tp(num_threads);
@@ -135,6 +139,7 @@ namespace dlib
         requires
             - begin <= end
             - chunks_per_thread > 0
+            - funct does not throw any exceptions
         ensures
             - This function is equivalent to the following function call:
               parallel_for_blocked(tp, begin, end, [&](long begin_sub, long end_sub) 
@@ -164,6 +169,7 @@ namespace dlib
         requires
             - begin <= end
             - chunks_per_thread > 0
+            - funct does not throw any exceptions
         ensures
             - This function is equivalent to the following block of code:
                 thread_pool tp(num_threads);
@@ -184,6 +190,7 @@ namespace dlib
         requires
             - begin <= end
             - chunks_per_thread > 0
+            - funct does not throw any exceptions
         ensures
             - This function is equivalent to the following function call:
               parallel_for_blocked(tp, begin, end, [&](long begin_sub, long end_sub) 
@@ -211,6 +218,7 @@ namespace dlib
         requires
             - begin <= end
             - chunks_per_thread > 0
+            - funct does not throw any exceptions
         ensures
             - This function is equivalent to the following block of code:
                 thread_pool tp(num_threads);
@@ -233,6 +241,7 @@ namespace dlib
         requires
             - begin <= end
             - chunks_per_thread > 0
+            - funct does not throw any exceptions
         ensures
             - This function is identical to the parallel_for() routine defined above except
               that it will print messages to cout showing the progress in executing the
@@ -254,6 +263,7 @@ namespace dlib
         requires
             - begin <= end
             - chunks_per_thread > 0
+            - funct does not throw any exceptions
         ensures
             - This function is identical to the parallel_for() routine defined above except
               that it will print messages to cout showing the progress in executing the
@@ -274,6 +284,7 @@ namespace dlib
         requires
             - begin <= end
             - chunks_per_thread > 0
+            - funct does not throw any exceptions
         ensures
             - This function is identical to the parallel_for() routine defined above except
               that it will print messages to cout showing the progress in executing the
@@ -294,6 +305,7 @@ namespace dlib
         requires
             - begin <= end
             - chunks_per_thread > 0
+            - funct does not throw any exceptions
         ensures
             - This function is identical to the parallel_for() routine defined above except
               that it will print messages to cout showing the progress in executing the
@@ -316,6 +328,7 @@ namespace dlib
         requires
             - begin <= end
             - chunks_per_thread > 0
+            - funct does not throw any exceptions
         ensures
             - This function is identical to the parallel_for_blocked() routine defined
               above except that it will print messages to cout showing the progress in
@@ -337,6 +350,7 @@ namespace dlib
         requires
             - begin <= end
             - chunks_per_thread > 0
+            - funct does not throw any exceptions
         ensures
             - This function is identical to the parallel_for_blocked() routine defined
               above except that it will print messages to cout showing the progress in
@@ -357,6 +371,7 @@ namespace dlib
         requires
             - begin <= end
             - chunks_per_thread > 0
+            - funct does not throw any exceptions
         ensures
             - This function is identical to the parallel_for_blocked() routine defined
               above except that it will print messages to cout showing the progress in
@@ -377,6 +392,7 @@ namespace dlib
         requires
             - begin <= end
             - chunks_per_thread > 0
+            - funct does not throw any exceptions
         ensures
             - This function is identical to the parallel_for_blocked() routine defined
               above except that it will print messages to cout showing the progress in