From 0b4c093e81a1e801b5185737d8df8f2eb8cce104 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 24 Nov 2017 19:46:01 +0100
Subject: [PATCH] Throw exception for VOT gates

---
 src/storm-dft/modelchecker/dft/DFTASFChecker.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
index 364d6743a..60f6976d6 100644
--- a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
+++ b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
@@ -483,6 +483,10 @@ namespace storm {
                         constraints.push_back(std::make_shared<IsMinimum>(timePointVariables.at(i), childVarIndices));
                         constraints.back()->setDescription("OR gate");
                         break;
+                    case storm::storage::DFTElementType::VOT:
+                        //TODO implement via and/or construction
+                        STORM_LOG_THROW(false, storm::exceptions::NotImplementedException, "SMT encoding of VOTs is not implemented yet.");
+                        break;
                     case storm::storage::DFTElementType::PAND:
                     {
                         // Constraint for PAND gate (constraint 3)