From 3f5aaab5025b8eb243f414b1c789085327df04f4 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Wed, 20 Mar 2019 16:09:09 +0100
Subject: Fault tree transformation for partial models WIP

---
 .../faulttree/transformation/cft2ft/EventMaterializer.java            | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.java')

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.java
index ac1fc209..98a82b7d 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.java
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.java
@@ -22,6 +22,7 @@ import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate;
 import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent;
+import hu.bme.mit.inf.dslreasoner.faulttree.model.util.CftExtensions;
 import hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft.EventCollection;
 import java.util.LinkedHashSet;
 import java.util.Map;
@@ -416,7 +417,8 @@ public class EventMaterializer {
       final EventCollection.Builder builder = EventCollection.builder();
       EList<Connection> _incomingConnections = input.getIncomingConnections();
       for (final Connection connection : _incomingConnections) {
-        {
+        boolean _isCurrentlyConnected = CftExtensions.isCurrentlyConnected(connection);
+        if (_isCurrentlyConnected) {
           final Event materializedEvent = this.getOrMaterialize(connection.getOutput());
           builder.add(materializedEvent);
         }
-- 
cgit v1.2.3-70-g09d2