Browse Source
storm-dft: Ignore compound nodes in json parser
tempestpy_adaptions
Matthias Volk
4 years ago
No known key found for this signature in database
GPG Key ID: 83A57678F739FCD3
1 changed files with
3 additions and
0 deletions
-
src/storm-dft/parser/DFTJsonParser.cpp
|
|
@ -125,6 +125,9 @@ namespace storm { |
|
|
STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Distribution: " << distribution << " not supported."); |
|
|
STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Distribution: " << distribution << " not supported."); |
|
|
success = false; |
|
|
success = false; |
|
|
} |
|
|
} |
|
|
|
|
|
} else if (type == "compound") { |
|
|
|
|
|
STORM_LOG_TRACE("Ignoring compound node '" << name << "'."); |
|
|
|
|
|
|
|
|
} else { |
|
|
} else { |
|
|
STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Type name: " << type << " not recognized."); |
|
|
STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Type name: " << type << " not recognized."); |
|
|
success = false; |
|
|
success = false; |
|
|
|
