Relaxed require clause

b612dda8 · Davis King · 55b8e5b2 · b612dda8 · b612dda8
Commit b612dda8 authored Dec 10, 2016 by Davis King
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

random_cropper.h dlib/image_transforms/random_cropper.h +1 -1

random_cropper_abstract.h dlib/image_transforms/random_cropper_abstract.h +1 -1

No files found.
--- a/dlib/image_transforms/random_cropper.h
+++ b/dlib/image_transforms/random_cropper.h
@@ -84,7 +84,7 @@ namespace dlib
            double value
        ) 
        { 
-            DLIB_CASSERT(0 < value && value < 1);
+            DLIB_CASSERT(0 < value && value <= 1);
            min_object_height = value; 
        }


--- a/dlib/image_transforms/random_cropper_abstract.h
+++ b/dlib/image_transforms/random_cropper_abstract.h
@@ -157,7 +157,7 @@ namespace dlib
        );
        /*!
            requires
-                - 0 < value < 1
+                - 0 < value <= 1
            ensures
                - #get_min_object_height() == value
        !*/