From e0b5fa51c4c9fe27df1d4535b70ab96595da7e7c Mon Sep 17 00:00:00 2001
From: Timo Philipp Gros <timopgros@gmail.com>
Date: Fri, 1 Dec 2017 13:26:26 +0100
Subject: [PATCH] new FoxGlynn not included yet

---
 .../csl/helper/SparseMarkovAutomatonCslHelper.cpp            | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp b/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
index fc329c1e7..6bb648e5f 100644
--- a/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
+++ b/src/storm/modelchecker/csl/helper/SparseMarkovAutomatonCslHelper.cpp
@@ -456,7 +456,6 @@ namespace storm {
                 return goalStates;
 
             }
-            std::vector<ValueType> SparseMarkovAutomatonCslHelper::computeBoundedUntilProbabilities(Environment const& env, OptimizationDirection dir, storm::storage::SparseMatrix<ValueType> const& transitionMatrix, std::vector<ValueType> const& exitRateVector, storm::storage::BitVector const& markovianStates, storm::storage::BitVector const& psiStates, std::pair<double, double> const& boundsPair, storm::solver::MinMaxLinearEquationSolverFactory<ValueType> const& minMaxLinearEquationSolverFactory) {
 
                 template <typename ValueType, typename std::enable_if<storm::NumberTraits<ValueType>::SupportsExponential, int>::type=0>
             storm::storage::BitVector SparseMarkovAutomatonCslHelper::identifyProbCycles(storm::storage::SparseMatrix<ValueType> const& transitionMatrix, storm::storage::BitVector const& markovianStates, storm::storage::BitVector const& psiStates){
@@ -666,7 +665,7 @@ namespace storm {
 
                     // calculate poisson distribution
 
-                    std::tuple<uint_fast64_t, uint_fast64_t, ValueType, std::vector<ValueType>> foxGlynnResult = storm::utility::numerical::getFoxGlynnCutoff(
+                    /*std::tuple<uint_fast64_t, uint_fast64_t, ValueType, std::vector<ValueType>> foxGlynnResult = storm::utility::numerical::getFoxGlynnCutoff(
                                 T * lambda, 1e+300, epsilon * epsilon * kappa);
 
 
@@ -674,7 +673,7 @@ namespace storm {
                     for (auto &element : std::get<3>(foxGlynnResult)) {
                         element /= std::get<2>(foxGlynnResult);
                     }
-
+*/
 
                     std::vector<double> poisson = foxGlynnProb(lambda*T, N+1, epsilon*kappa);