From d85a9499853fe679a868c04ce7f2837a6950036a Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 24 Feb 2017 09:25:05 +0100
Subject: [PATCH] Parse voting gate in JSON

---
 src/storm-dft/parser/DFTJsonParser.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/storm-dft/parser/DFTJsonParser.cpp b/src/storm-dft/parser/DFTJsonParser.cpp
index 296b89f56..07454416f 100644
--- a/src/storm-dft/parser/DFTJsonParser.cpp
+++ b/src/storm-dft/parser/DFTJsonParser.cpp
@@ -74,6 +74,9 @@ namespace storm {
                     success = builder.addAndElement(name, childNames);
                 } else if (type == "or") {
                     success = builder.addOrElement(name, childNames);
+                } else if (type == "vot") {
+                    std::string votThreshold = data.at("voting");
+                    success = builder.addVotElement(name, boost::lexical_cast<unsigned>(votThreshold), childNames);
                 } else if (type == "pand") {
                     success = builder.addPandElement(name, childNames);
                 } else if (type == "por") {