ArgumentValidators: added factory for UnsignedIntRangeValidatorIncluding

src/storm/settings/ArgumentValidators.cpp

@@ -129,6 +129,10 @@ namespace storm {
             return createRangeValidatorExcluding<uint64_t>(lowerBound, upperBound);
         }
         
+        std::shared_ptr<ArgumentValidator<uint64_t>> ArgumentValidatorFactory::createUnsignedRangeValidatorIncluding(uint64_t lowerBound, uint64_t upperBound) {
+            return createRangeValidatorIncluding<uint64_t>(lowerBound, upperBound);
+        }
+        
         std::shared_ptr<ArgumentValidator<double>> ArgumentValidatorFactory::createDoubleRangeValidatorExcluding(double lowerBound, double upperBound) {
             return createRangeValidatorExcluding<double>(lowerBound, upperBound);
         }

src/storm/settings/ArgumentValidators.h

@@ -70,6 +70,7 @@ namespace storm {
         public:
             static std::shared_ptr<ArgumentValidator<int64_t>> createIntegerRangeValidatorExcluding(int_fast64_t lowerBound, int_fast64_t upperBound);
             static std::shared_ptr<ArgumentValidator<uint64_t>> createUnsignedRangeValidatorExcluding(uint64_t lowerBound, uint64_t upperBound);
+            static std::shared_ptr<ArgumentValidator<uint64_t>> createUnsignedRangeValidatorIncluding(uint64_t lowerBound, uint64_t upperBound);
             static std::shared_ptr<ArgumentValidator<double>> createDoubleRangeValidatorExcluding(double lowerBound, double upperBound);
             
             static std::shared_ptr<ArgumentValidator<double>> createDoubleRangeValidatorIncluding(double lowerBound, double upperBound);