From f7930d22b0cdcbc02ac0cd962ec3e2c9b251b40f Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Mon, 10 Aug 2020 18:43:07 +0200 Subject: [PATCH] Fixed typo which lead to wrong symmetries for voting gates --- src/storm-dft/storage/dft/DFTIsomorphism.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/storm-dft/storage/dft/DFTIsomorphism.h b/src/storm-dft/storage/dft/DFTIsomorphism.h index 701082443..03f8866a7 100644 --- a/src/storm-dft/storage/dft/DFTIsomorphism.h +++ b/src/storm-dft/storage/dft/DFTIsomorphism.h @@ -491,7 +491,9 @@ namespace storage { // We can skip BEs, as they are identified by they're homomorphic if they are in the same class for(auto const& indexpair : bijection) { // Check type first. Colouring takes care of a lot, but not necesarily everything (e.g. voting thresholds) - equalType(*dft.getElement(indexpair.first), *dft.getElement(indexpair.second)); + if (!equalType(*dft.getElement(indexpair.first), *dft.getElement(indexpair.second))) { + return false; + } if(dft.isGate(indexpair.first)) { STORM_LOG_ASSERT(dft.isGate(indexpair.second), "Element is no gate."); auto const& lGate = dft.getGate(indexpair.first);