Matthias Volk
5 years ago
No known key found for this signature in database
GPG Key ID: 83A57678F739FCD3
1 changed files with
2 additions and
2 deletions
-
src/storm/storage/jani/TemplateEdgeContainer.cpp
|
|
|
@ -3,10 +3,10 @@ |
|
|
|
|
|
|
|
namespace storm { |
|
|
|
namespace jani { |
|
|
|
TemplateEdgeContainer::TemplateEdgeContainer(TemplateEdgeContainer const &other) { |
|
|
|
TemplateEdgeContainer::TemplateEdgeContainer(TemplateEdgeContainer const &other) : std::unordered_set<std::shared_ptr<TemplateEdge>>() { |
|
|
|
for (auto const& te : other) { |
|
|
|
this->insert(std::make_shared<TemplateEdge>(*te)); |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
