From ecb37ccd1d9b16186954f4fe1362da718b6d1929 Mon Sep 17 00:00:00 2001 From: dehnert Date: Mon, 3 Aug 2015 16:09:49 +0200 Subject: [PATCH] made compilation of ConstraintCollector in Dtmc predicated on CARL being available Former-commit-id: 8d0e3ea6365fc72ee266c1aeae49024599b895ec --- src/models/sparse/Dtmc.cpp | 2 ++ src/models/sparse/Dtmc.h | 2 ++ 2 files changed, 4 insertions(+) diff --git a/src/models/sparse/Dtmc.cpp b/src/models/sparse/Dtmc.cpp index f2f197428..f1248af39 100644 --- a/src/models/sparse/Dtmc.cpp +++ b/src/models/sparse/Dtmc.cpp @@ -182,6 +182,7 @@ namespace storm { // return storm::models::Dtmc(newMatBuilder.build(), newLabeling, newStateRewards, std::move(newTransitionRewards), newChoiceLabels); } +#ifdef STORM_HAVE_CARL template Dtmc::ConstraintCollector::ConstraintCollector(Dtmc const& dtmc) { process(dtmc); @@ -221,6 +222,7 @@ namespace storm { void Dtmc::ConstraintCollector::operator()(storm::models::sparse::Dtmc const& dtmc) { process(dtmc); } +#endif template bool Dtmc::checkValidityOfProbabilityMatrix() const { diff --git a/src/models/sparse/Dtmc.h b/src/models/sparse/Dtmc.h index 37095f05e..43ec31487 100644 --- a/src/models/sparse/Dtmc.h +++ b/src/models/sparse/Dtmc.h @@ -59,6 +59,7 @@ namespace storm { */ Dtmc getSubDtmc(storm::storage::BitVector const& states) const; +#ifdef STORM_HAVE_CARL class ConstraintCollector { private: // A set of constraints that says that the DTMC actually has valid probability distributions in all states. @@ -118,6 +119,7 @@ namespace storm { */ bool checkValidityOfProbabilityMatrix() const; }; +#endif } // namespace sparse } // namespace models