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/utility/shortestPaths.h
|
@ -47,7 +47,7 @@ namespace storm { |
|
|
if (predecessorNode != rhs.predecessorNode) { |
|
|
if (predecessorNode != rhs.predecessorNode) { |
|
|
return predecessorNode < rhs.predecessorNode; |
|
|
return predecessorNode < rhs.predecessorNode; |
|
|
} |
|
|
} |
|
|
return predecessorK < predecessorK; |
|
|
|
|
|
|
|
|
return predecessorK < rhs.predecessorK; |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
bool operator==(const Path<T>& rhs) const { |
|
|
bool operator==(const Path<T>& rhs) const { |
|
|