Removed unused variables

src/storm-pomdp-cli/storm-pomdp.cpp

@@ -88,8 +88,6 @@ int main(const int argc, const char** argv) {
 
 
         auto const& coreSettings = storm::settings::getModule<storm::settings::modules::CoreSettings>();
-        auto const& generalSettings = storm::settings::getModule<storm::settings::modules::GeneralSettings>();
-        auto const& bisimulationSettings = storm::settings::getModule<storm::settings::modules::BisimulationSettings>();
         auto const& pomdpSettings = storm::settings::getModule<storm::settings::modules::POMDPSettings>();
 
         // For several engines, no model building step is performed, but the verification is started right away.
@@ -218,4 +216,4 @@ int main(const int argc, const char** argv) {
         STORM_LOG_ERROR("An unexpected exception occurred and caused Storm-pomdp to terminate. The message of this exception is: " << exception.what());
         return 2;
     }
-}
+}

src/storm-pomdp/transformer/GlobalPOMDPSelfLoopEliminator.cpp

@@ -11,7 +11,6 @@ namespace storm {
         std::shared_ptr<storm::models::sparse::Pomdp<ValueType>> GlobalPOMDPSelfLoopEliminator<ValueType>::transform() const
         {
             uint64_t nrStates = pomdp.getNumberOfStates();
-            bool nondeterminism = false;
 
             std::vector<storm::storage::BitVector> observationSelfLoopMasks;
             for (uint64_t obs = 0; obs < pomdp.getNrObservations(); ++obs) {
@@ -79,4 +78,4 @@ namespace storm {
 
         template class GlobalPOMDPSelfLoopEliminator<storm::RationalNumber>;
     }
-}
+}