diff --git a/src/storm-pgcl/storage/ppg/ProgramEdge.h b/src/storm-pgcl/storage/ppg/ProgramEdge.h index 047683f92..5561bcd89 100644 --- a/src/storm-pgcl/storage/ppg/ProgramEdge.h +++ b/src/storm-pgcl/storage/ppg/ProgramEdge.h @@ -19,7 +19,10 @@ namespace storm { ProgramLocationIdentifier getTargetId() const { return target; } - + ProgramEdgeIdentifier getEdgeId() const { + return edgeId; + } + storm::expressions::Expression const& getCondition() const { return condition; } diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp index 3da5f6662..5f2eb128f 100644 --- a/src/storm-pomdp-cli/storm-pomdp.cpp +++ b/src/storm-pomdp-cli/storm-pomdp.cpp @@ -95,7 +95,6 @@ int main(const int argc, const char** argv) { - auto const& coreSettings = storm::settings::getModule(); auto const& pomdpSettings = storm::settings::getModule(); auto symbolicInput = storm::cli::parseSymbolicInput();