From 04164d8b02713d4567df06fe03d46043727e629d Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Sun, 10 Feb 2019 20:04:00 +0100 Subject: [PATCH] Fixed crucial typo in symmetry ordering --- src/storm-dft/storage/dft/DFTIsomorphism.h | 1 + src/storm-dft/storage/dft/SymmetricUnits.h | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/storm-dft/storage/dft/DFTIsomorphism.h b/src/storm-dft/storage/dft/DFTIsomorphism.h index 869cbd065..f8fd27d8f 100644 --- a/src/storm-dft/storage/dft/DFTIsomorphism.h +++ b/src/storm-dft/storage/dft/DFTIsomorphism.h @@ -255,6 +255,7 @@ namespace storage { void colourize(std::shared_ptr> const& gate) { STORM_LOG_TRACE("Colour " << gate->id() << ": " << gate->type() << " " << gate->nrChildren() << " " << gate->rank() << "."); gateColour[gate->id()] = gateColourizer(gate->type(), gate->nrChildren(), gate->nrParents(), 0, gate->rank()); + STORM_LOG_TRACE("Coloured " << gate->id() << " with " << gateColour[gate->id()] << "."); } void colourize(std::shared_ptr> const& dep) { diff --git a/src/storm-dft/storage/dft/SymmetricUnits.h b/src/storm-dft/storage/dft/SymmetricUnits.h index 08e8961a9..52b2f7697 100644 --- a/src/storm-dft/storage/dft/SymmetricUnits.h +++ b/src/storm-dft/storage/dft/SymmetricUnits.h @@ -108,7 +108,7 @@ namespace storm { } // Sort by length of symmetry or (if equal) by lower first element std::sort(sortedGroups.begin(), sortedGroups.end(), [&](const size_t left, const size_t right) { - return groups.at(left).size() < groups.at(right).size() || (groups.at(left).size() == groups.at(right).size() && groups.at(left).front().front() < groups.at(left).front().front()); + return groups.at(left).size() < groups.at(right).size() || (groups.at(left).size() == groups.at(right).size() && groups.at(left).front().front() < groups.at(right).front().front()); }); // Sort hierarchical