From c0dfaef066c965b51bc4907c08f70f85f853b0de Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 18 Feb 2016 15:45:18 +0100
Subject: [PATCH] DFTElement: hasOnlyStaticParents Former-commit-id:
449222f331d3f59e65d6291dd109e4258d8f319e
---
src/storage/dft/DFTElements.h | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/src/storage/dft/DFTElements.h b/src/storage/dft/DFTElements.h
index b7fca51c0..747dfb611 100644
--- a/src/storage/dft/DFTElements.h
+++ b/src/storage/dft/DFTElements.h
@@ -119,6 +119,16 @@ namespace storm {
}
}
+ bool hasOnlyStaticParents() const {
+ for(auto const& parent : parents) {
+ if(!isStaticGateType(parents->type()) {
+ return false;
+ }
+ }
+ return true;
+ }
+
+
bool hasParents() const {
return !mParents.empty();
}