From a1c6b998ec348b3055b194b4c28168ff8c24c73c Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Tue, 21 Jul 2020 17:58:53 +0200 Subject: [PATCH] Ignore SEQ and FDEP children --- src/storm-dft/builder/DFTBuilder.cpp | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/src/storm-dft/builder/DFTBuilder.cpp b/src/storm-dft/builder/DFTBuilder.cpp index acb808657..cf720f2f2 100644 --- a/src/storm-dft/builder/DFTBuilder.cpp +++ b/src/storm-dft/builder/DFTBuilder.cpp @@ -27,14 +27,13 @@ namespace storm { if (itFind != mElements.end()) { // Child found DFTElementPointer childElement = itFind->second; - STORM_LOG_THROW(!childElement->isRestriction(), storm::exceptions::WrongFormatException, - "Restictor " << childElement->name() << " is not allowed as child of gate " - << gate->name()); - if(!childElement->isDependency()) { + if (childElement->isRestriction()) { + STORM_LOG_WARN("Restriction '" << child << "' is not used as input for gate '" << gate->name() << "', because restrictions have no output."); + } else if (childElement->isDependency()) { + STORM_LOG_WARN("Dependency '" << child << "' is not used as input for gate '" << gate->name() << "', because dependencies have no output."); + } else { gate->pushBackChild(childElement); childElement->addParent(gate); - } else { - STORM_LOG_TRACE("Ignore functional dependency " << child << " in gate " << gate->name()); } } else { // Child not found -> find first dependent event to assure that child is dependency