From cb00c21db27fb0642ad0eda20d4eaa27f9d4328f Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 10 Oct 2019 10:13:08 +0200
Subject: [PATCH] Fixed type uintX -> uintX_t
---
src/storm-pomdp/transformer/BinaryPomdpTransformer.cpp | 2 +-
src/storm/generator/NextStateGenerator.h | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/storm-pomdp/transformer/BinaryPomdpTransformer.cpp b/src/storm-pomdp/transformer/BinaryPomdpTransformer.cpp
index 170f6e863..f5ad38446 100644
--- a/src/storm-pomdp/transformer/BinaryPomdpTransformer.cpp
+++ b/src/storm-pomdp/transformer/BinaryPomdpTransformer.cpp
@@ -83,7 +83,7 @@ namespace storm {
storm::storage::SparseMatrixBuilder<ValueType> builder(0,0,0,true,true);
uint64_t currRow = 0;
std::vector<uint64_t> origRowToSimpleRowMap(pomdp.getNumberOfChoices(), std::numeric_limits<uint64_t>::max());
- uint64 currAuxState = queue.size();
+ uint64_t currAuxState = queue.size();
while (!queue.empty()) {
auto group = std::move(queue.front());
queue.pop();
diff --git a/src/storm/generator/NextStateGenerator.h b/src/storm/generator/NextStateGenerator.h
index eb01c7aa4..ae95c3a68 100644
--- a/src/storm/generator/NextStateGenerator.h
+++ b/src/storm/generator/NextStateGenerator.h
@@ -63,7 +63,7 @@ namespace storm {
storm::expressions::SimpleValuation toValuation(CompressedState const& state) const;
- uint32 observabilityClass(CompressedState const& state) const;
+ uint32_t observabilityClass(CompressedState const& state) const;
virtual storm::models::sparse::StateLabeling label(storm::storage::sparse::StateStorage<StateType> const& stateStorage, std::vector<StateType> const& initialStateIndices = {}, std::vector<StateType> const& deadlockStateIndices = {}) = 0;