Browse Source
Fixed bug where POR was changed to PAND during transformation to binary FDEPs
tempestpy_adaptions
Matthias Volk
4 years ago
No known key found for this signature in database
GPG Key ID: 83A57678F739FCD3
1 changed files with
1 additions and
1 deletions
-
src/storm-dft/transformations/DftTransformator.cpp
|
|
@ -150,7 +150,7 @@ namespace storm { |
|
|
} |
|
|
} |
|
|
case storm::storage::DFTElementType::POR: { |
|
|
case storm::storage::DFTElementType::POR: { |
|
|
auto por = std::static_pointer_cast<storm::storage::DFTPor<ValueType> const>(element); |
|
|
auto por = std::static_pointer_cast<storm::storage::DFTPor<ValueType> const>(element); |
|
|
builder.addPandElement(por->name(), getChildrenVector(por), por->isInclusive()); |
|
|
|
|
|
|
|
|
builder.addPorElement(por->name(), getChildrenVector(por), por->isInclusive()); |
|
|
break; |
|
|
break; |
|
|
} |
|
|
} |
|
|
case storm::storage::DFTElementType::SPARE: |
|
|
case storm::storage::DFTElementType::SPARE: |
|
|
|
