Fixed a dimension bug in the labeling Parser

Former-commit-id: 40f961cd6d
12 years ago · 2a6ca6b92f
1 changed files with 1 additions and 1 deletions
--- a/src/parser/NondeterministicModelParser.cpp
+++ b/src/parser/NondeterministicModelParser.cpp
@ -32,7 +32,7 @@ NondeterministicModelParserResultContainer<double> parseNondeterministicModel(st
 	NondeterministicSparseTransitionParserResult_t nondeterministicSparseTransitionParserResult = storm::parser::NondeterministicSparseTransitionParser(transitionSystemFile);
 	storm::storage::SparseMatrix<double> resultTransitionSystem = nondeterministicSparseTransitionParserResult.first;

-	uint_fast64_t stateCount = resultTransitionSystem.getRowCount();
+	uint_fast64_t stateCount = resultTransitionSystem.getColumnCount();

 	storm::models::AtomicPropositionsLabeling resultLabeling = storm::parser::AtomicPropositionLabelingParser(stateCount, labelingFile);