4 files changed, 0 insertions, 238 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore
deleted file mode 100644
index a843aeed..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore
+++ /dev/null
@@ -1,83 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
-    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="cft" nsURI="http://www.bme.hu/mit/inf/dslreasoner/faulttree/model/cft"
-    nsPrefix="cft">
-  <eClassifiers xsi:type="ecore:EClass" name="ComponentDefinition">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" upperBound="-1"
-        eType="#//InputEvent" containment="true"/>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="eventDefinitions" upperBound="-1"
-        eType="#//EventDefinition" containment="true"/>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="outputEvents" upperBound="-1"
-        eType="#//EventDeclaration"/>
-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="EventDefinition" abstract="true" eSuperTypes="#//EventDeclaration"/>
-  <eClassifiers xsi:type="ecore:EClass" name="GateDefinition" abstract="true" eSuperTypes="#//EventDefinition">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" upperBound="-1"
-        eType="#//EventDeclaration"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="BasicEventDefinition" eSuperTypes="#//EventDefinition">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="distribution" lowerBound="1"
-        eType="ecore:EClass ft.ecore#//Distribution" containment="true"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="InputEvent" eSuperTypes="#//EventDeclaration">
-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="multiple" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="EventDeclaration" abstract="true">
-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="AndGateDefinition" eSuperTypes="#//GateDefinition"/>
-  <eClassifiers xsi:type="ecore:EClass" name="OrGateDefinition" eSuperTypes="#//GateDefinition"/>
-  <eClassifiers xsi:type="ecore:EClass" name="KOfMGateDefinition" eSuperTypes="#//GateDefinition">
-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="k" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="m" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="ComponentFaultTree">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="components" upperBound="-1"
-        eType="#//Component" containment="true"/>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="topEvent" lowerBound="1"
-        eType="#//Output"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="Component" eSuperTypes="#//ModalElement">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="inputs" upperBound="-1"
-        eType="#//Input" containment="true" eOpposite="#//Input/component"/>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="outputs" upperBound="-1"
-        eType="#//Output" containment="true" eOpposite="#//Output/component"/>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="componentDefinition" lowerBound="1"
-        eType="#//ComponentDefinition"/>
-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="multipleAllowed" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
-        defaultValueLiteral="false"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="Input">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvent" lowerBound="1"
-        eType="#//InputEvent"/>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="component" lowerBound="1"
-        eType="#//Component" eOpposite="#//Component/inputs"/>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="incomingConnections" upperBound="-1"
-        eType="#//Connection" containment="true" eOpposite="#//Connection/input"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="Output">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="eventDeclaration" lowerBound="1"
-        eType="#//EventDeclaration"/>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingConnections" upperBound="-1"
-        eType="#//Connection" eOpposite="#//Connection/output"/>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="component" lowerBound="1"
-        eType="#//Component" eOpposite="#//Component/outputs"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="Connection" eSuperTypes="#//ModalElement">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="input" lowerBound="1" eType="#//Input"
-        eOpposite="#//Input/incomingConnections"/>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="output" lowerBound="1"
-        eType="#//Output" eOpposite="#//Output/outgoingConnections"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EEnum" name="Modality">
-    <eLiterals name="MAY"/>
-    <eLiterals name="CURRENT" value="1"/>
-    <eLiterals name="MUST" value="2"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="ModalElement" abstract="true" interface="true">
-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="exists" eType="#//Modality"
-        defaultValueLiteral="MUST"/>
-  </eClassifiers>
-</ecore:EPackage>
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel
deleted file mode 100644
index 3cdc93c4..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel
+++ /dev/null
@@ -1,69 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
-    xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen"
-    modelPluginID="hu.bme.mit.inf.dslreasoner.faulttree.model" modelName="Cft" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
-    importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
-    usedGenPackages="ft.genmodel#//ft" operationReflection="true" importOrganizing="true">
-  <foreignModel>cft.ecore</foreignModel>
-  <genPackages prefix="Cft" basePackage="hu.bme.mit.inf.dslreasoner.faulttree.model"
-      disposableProviderFactory="true" ecorePackage="cft.ecore#/">
-    <genEnums typeSafeEnumCompatible="false" ecoreEnum="cft.ecore#//Modality">
-      <genEnumLiterals ecoreEnumLiteral="cft.ecore#//Modality/MAY"/>
-      <genEnumLiterals ecoreEnumLiteral="cft.ecore#//Modality/CURRENT"/>
-      <genEnumLiterals ecoreEnumLiteral="cft.ecore#//Modality/MUST"/>
-    </genEnums>
-    <genClasses ecoreClass="cft.ecore#//ComponentDefinition">
-      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/inputEvents"/>
-      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/eventDefinitions"/>
-      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/outputEvents"/>
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//ComponentDefinition/name"/>
-    </genClasses>
-    <genClasses image="false" ecoreClass="cft.ecore#//EventDefinition"/>
-    <genClasses image="false" ecoreClass="cft.ecore#//GateDefinition">
-      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//GateDefinition/inputEvents"/>
-    </genClasses>
-    <genClasses ecoreClass="cft.ecore#//BasicEventDefinition">
-      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//BasicEventDefinition/distribution"/>
-    </genClasses>
-    <genClasses ecoreClass="cft.ecore#//InputEvent">
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//InputEvent/multiple"/>
-    </genClasses>
-    <genClasses image="false" ecoreClass="cft.ecore#//EventDeclaration">
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//EventDeclaration/name"/>
-    </genClasses>
-    <genClasses ecoreClass="cft.ecore#//AndGateDefinition"/>
-    <genClasses ecoreClass="cft.ecore#//OrGateDefinition"/>
-    <genClasses ecoreClass="cft.ecore#//KOfMGateDefinition">
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//KOfMGateDefinition/k"/>
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//KOfMGateDefinition/m"/>
-    </genClasses>
-    <genClasses ecoreClass="cft.ecore#//ComponentFaultTree">
-      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentFaultTree/components"/>
-      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentFaultTree/topEvent"/>
-    </genClasses>
-    <genClasses ecoreClass="cft.ecore#//Component">
-      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Component/inputs"/>
-      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Component/outputs"/>
-      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Component/componentDefinition"/>
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//Component/name"/>
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//Component/multipleAllowed"/>
-    </genClasses>
-    <genClasses ecoreClass="cft.ecore#//Input">
-      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Input/inputEvent"/>
-      <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Input/component"/>
-      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Input/incomingConnections"/>
-    </genClasses>
-    <genClasses ecoreClass="cft.ecore#//Output">
-      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Output/eventDeclaration"/>
-      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Output/outgoingConnections"/>
-      <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Output/component"/>
-    </genClasses>
-    <genClasses ecoreClass="cft.ecore#//Connection">
-      <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Connection/input"/>
-      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Connection/output"/>
-    </genClasses>
-    <genClasses ecoreClass="cft.ecore#//ModalElement">
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//ModalElement/exists"/>
-    </genClasses>
-  </genPackages>
-</genmodel:GenModel>
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore
deleted file mode 100644
index afe9395e..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore
+++ /dev/null
@@ -1,42 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
-    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="ft" nsURI="http://www.bme.hu/mit/inf/dslreasoner/faulttree/model/ft"
-    nsPrefix="ft">
-  <eClassifiers xsi:type="ecore:EClass" name="FaultTree" eSuperTypes="#//ReliabilityModel">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="events" upperBound="-1"
-        eType="#//RandomEvent" containment="true"/>
-    <eStructuralFeatures xsi:type="ecore:EReference" name="topEvent" lowerBound="1"
-        eType="#//RandomEvent"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="RandomEvent" abstract="true" eSuperTypes="#//Event">
-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="BasicEvent" eSuperTypes="#//RandomEvent">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="distribution" lowerBound="1"
-        eType="#//Distribution" containment="true"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="Gate" abstract="true" eSuperTypes="#//RandomEvent">
-    <eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" lowerBound="2"
-        upperBound="-1" eType="#//RandomEvent"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="Distribution" abstract="true"/>
-  <eClassifiers xsi:type="ecore:EClass" name="ConstantDistribution" eSuperTypes="#//Distribution">
-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="p" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="ExponentialDistribution" eSuperTypes="#//Distribution">
-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="lambda" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="AndGate" eSuperTypes="#//Gate"/>
-  <eClassifiers xsi:type="ecore:EClass" name="OrGate" eSuperTypes="#//Gate"/>
-  <eClassifiers xsi:type="ecore:EClass" name="KOfMGate" eSuperTypes="#//Gate">
-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="k" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="ReliabilityModel" abstract="true"/>
-  <eClassifiers xsi:type="ecore:EClass" name="ConstantModel" eSuperTypes="#//ReliabilityModel">
-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="failed" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
-  </eClassifiers>
-  <eClassifiers xsi:type="ecore:EClass" name="Event" abstract="true"/>
-  <eClassifiers xsi:type="ecore:EClass" name="ConstantEvent" eSuperTypes="#//Event">
-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="failed" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
-  </eClassifiers>
-</ecore:EPackage>
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel
deleted file mode 100644
index 7dcd0ae7..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel
+++ /dev/null
@@ -1,44 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
-    xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen"
-    modelPluginID="hu.bme.mit.inf.dslreasoner.faulttree.model" modelName="Ft" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
-    importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
-    operationReflection="true" importOrganizing="true">
-  <foreignModel>ft.ecore</foreignModel>
-  <genPackages prefix="Ft" basePackage="hu.bme.mit.inf.dslreasoner.faulttree.model"
-      disposableProviderFactory="true" ecorePackage="ft.ecore#/">
-    <genClasses ecoreClass="ft.ecore#//FaultTree">
-      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/events"/>
-      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/topEvent"/>
-    </genClasses>
-    <genClasses image="false" ecoreClass="ft.ecore#//RandomEvent">
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//RandomEvent/name"/>
-    </genClasses>
-    <genClasses ecoreClass="ft.ecore#//BasicEvent">
-      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//BasicEvent/distribution"/>
-    </genClasses>
-    <genClasses image="false" ecoreClass="ft.ecore#//Gate">
-      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ft.ecore#//Gate/inputEvents"/>
-    </genClasses>
-    <genClasses image="false" ecoreClass="ft.ecore#//Distribution"/>
-    <genClasses ecoreClass="ft.ecore#//ConstantDistribution">
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ConstantDistribution/p"/>
-    </genClasses>
-    <genClasses ecoreClass="ft.ecore#//ExponentialDistribution">
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ExponentialDistribution/lambda"/>
-    </genClasses>
-    <genClasses ecoreClass="ft.ecore#//AndGate"/>
-    <genClasses ecoreClass="ft.ecore#//OrGate"/>
-    <genClasses ecoreClass="ft.ecore#//KOfMGate">
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//KOfMGate/k"/>
-    </genClasses>
-    <genClasses ecoreClass="ft.ecore#//ReliabilityModel"/>
-    <genClasses ecoreClass="ft.ecore#//ConstantModel">
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ConstantModel/failed"/>
-    </genClasses>
-    <genClasses ecoreClass="ft.ecore#//Event"/>
-    <genClasses ecoreClass="ft.ecore#//ConstantEvent">
-      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ConstantEvent/failed"/>
-    </genClasses>
-  </genPackages>
-</genmodel:GenModel>

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore deleted file mode 100644 index a843aeed..00000000 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.ecore +++ /dev/null
@@ -1,83 +0,0 @@
1	<?xml version="1.0" encoding="UTF-8"?>
2	<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
3	xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="cft" nsURI="http://www.bme.hu/mit/inf/dslreasoner/faulttree/model/cft"
4	nsPrefix="cft">
5	<eClassifiers xsi:type="ecore:EClass" name="ComponentDefinition">
6	<eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" upperBound="-1"
7	eType="#//InputEvent" containment="true"/>
8	<eStructuralFeatures xsi:type="ecore:EReference" name="eventDefinitions" upperBound="-1"
9	eType="#//EventDefinition" containment="true"/>
10	<eStructuralFeatures xsi:type="ecore:EReference" name="outputEvents" upperBound="-1"
11	eType="#//EventDeclaration"/>
12	<eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
13	</eClassifiers>
14	<eClassifiers xsi:type="ecore:EClass" name="EventDefinition" abstract="true" eSuperTypes="#//EventDeclaration"/>
15	<eClassifiers xsi:type="ecore:EClass" name="GateDefinition" abstract="true" eSuperTypes="#//EventDefinition">
16	<eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" upperBound="-1"
17	eType="#//EventDeclaration"/>
18	</eClassifiers>
19	<eClassifiers xsi:type="ecore:EClass" name="BasicEventDefinition" eSuperTypes="#//EventDefinition">
20	<eStructuralFeatures xsi:type="ecore:EReference" name="distribution" lowerBound="1"
21	eType="ecore:EClass ft.ecore#//Distribution" containment="true"/>
22	</eClassifiers>
23	<eClassifiers xsi:type="ecore:EClass" name="InputEvent" eSuperTypes="#//EventDeclaration">
24	<eStructuralFeatures xsi:type="ecore:EAttribute" name="multiple" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
25	</eClassifiers>
26	<eClassifiers xsi:type="ecore:EClass" name="EventDeclaration" abstract="true">
27	<eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
28	</eClassifiers>
29	<eClassifiers xsi:type="ecore:EClass" name="AndGateDefinition" eSuperTypes="#//GateDefinition"/>
30	<eClassifiers xsi:type="ecore:EClass" name="OrGateDefinition" eSuperTypes="#//GateDefinition"/>
31	<eClassifiers xsi:type="ecore:EClass" name="KOfMGateDefinition" eSuperTypes="#//GateDefinition">
32	<eStructuralFeatures xsi:type="ecore:EAttribute" name="k" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
33	<eStructuralFeatures xsi:type="ecore:EAttribute" name="m" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
34	</eClassifiers>
35	<eClassifiers xsi:type="ecore:EClass" name="ComponentFaultTree">
36	<eStructuralFeatures xsi:type="ecore:EReference" name="components" upperBound="-1"
37	eType="#//Component" containment="true"/>
38	<eStructuralFeatures xsi:type="ecore:EReference" name="topEvent" lowerBound="1"
39	eType="#//Output"/>
40	</eClassifiers>
41	<eClassifiers xsi:type="ecore:EClass" name="Component" eSuperTypes="#//ModalElement">
42	<eStructuralFeatures xsi:type="ecore:EReference" name="inputs" upperBound="-1"
43	eType="#//Input" containment="true" eOpposite="#//Input/component"/>
44	<eStructuralFeatures xsi:type="ecore:EReference" name="outputs" upperBound="-1"
45	eType="#//Output" containment="true" eOpposite="#//Output/component"/>
46	<eStructuralFeatures xsi:type="ecore:EReference" name="componentDefinition" lowerBound="1"
47	eType="#//ComponentDefinition"/>
48	<eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
49	<eStructuralFeatures xsi:type="ecore:EAttribute" name="multipleAllowed" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
50	defaultValueLiteral="false"/>
51	</eClassifiers>
52	<eClassifiers xsi:type="ecore:EClass" name="Input">
53	<eStructuralFeatures xsi:type="ecore:EReference" name="inputEvent" lowerBound="1"
54	eType="#//InputEvent"/>
55	<eStructuralFeatures xsi:type="ecore:EReference" name="component" lowerBound="1"
56	eType="#//Component" eOpposite="#//Component/inputs"/>
57	<eStructuralFeatures xsi:type="ecore:EReference" name="incomingConnections" upperBound="-1"
58	eType="#//Connection" containment="true" eOpposite="#//Connection/input"/>
59	</eClassifiers>
60	<eClassifiers xsi:type="ecore:EClass" name="Output">
61	<eStructuralFeatures xsi:type="ecore:EReference" name="eventDeclaration" lowerBound="1"
62	eType="#//EventDeclaration"/>
63	<eStructuralFeatures xsi:type="ecore:EReference" name="outgoingConnections" upperBound="-1"
64	eType="#//Connection" eOpposite="#//Connection/output"/>
65	<eStructuralFeatures xsi:type="ecore:EReference" name="component" lowerBound="1"
66	eType="#//Component" eOpposite="#//Component/outputs"/>
67	</eClassifiers>
68	<eClassifiers xsi:type="ecore:EClass" name="Connection" eSuperTypes="#//ModalElement">
69	<eStructuralFeatures xsi:type="ecore:EReference" name="input" lowerBound="1" eType="#//Input"
70	eOpposite="#//Input/incomingConnections"/>
71	<eStructuralFeatures xsi:type="ecore:EReference" name="output" lowerBound="1"
72	eType="#//Output" eOpposite="#//Output/outgoingConnections"/>
73	</eClassifiers>
74	<eClassifiers xsi:type="ecore:EEnum" name="Modality">
75	<eLiterals name="MAY"/>
76	<eLiterals name="CURRENT" value="1"/>
77	<eLiterals name="MUST" value="2"/>
78	</eClassifiers>
79	<eClassifiers xsi:type="ecore:EClass" name="ModalElement" abstract="true" interface="true">
80	<eStructuralFeatures xsi:type="ecore:EAttribute" name="exists" eType="#//Modality"
81	defaultValueLiteral="MUST"/>
82	</eClassifiers>
83	</ecore:EPackage>


diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel deleted file mode 100644 index 3cdc93c4..00000000 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/cft.genmodel +++ /dev/null
@@ -1,69 +0,0 @@
1	<?xml version="1.0" encoding="UTF-8"?>
2	<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
3	xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen"
4	modelPluginID="hu.bme.mit.inf.dslreasoner.faulttree.model" modelName="Cft" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
5	importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
6	usedGenPackages="ft.genmodel#//ft" operationReflection="true" importOrganizing="true">
7	<foreignModel>cft.ecore</foreignModel>
8	<genPackages prefix="Cft" basePackage="hu.bme.mit.inf.dslreasoner.faulttree.model"
9	disposableProviderFactory="true" ecorePackage="cft.ecore#/">
10	<genEnums typeSafeEnumCompatible="false" ecoreEnum="cft.ecore#//Modality">
11	<genEnumLiterals ecoreEnumLiteral="cft.ecore#//Modality/MAY"/>
12	<genEnumLiterals ecoreEnumLiteral="cft.ecore#//Modality/CURRENT"/>
13	<genEnumLiterals ecoreEnumLiteral="cft.ecore#//Modality/MUST"/>
14	</genEnums>
15	<genClasses ecoreClass="cft.ecore#//ComponentDefinition">
16	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/inputEvents"/>
17	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/eventDefinitions"/>
18	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentDefinition/outputEvents"/>
19	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//ComponentDefinition/name"/>
20	</genClasses>
21	<genClasses image="false" ecoreClass="cft.ecore#//EventDefinition"/>
22	<genClasses image="false" ecoreClass="cft.ecore#//GateDefinition">
23	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//GateDefinition/inputEvents"/>
24	</genClasses>
25	<genClasses ecoreClass="cft.ecore#//BasicEventDefinition">
26	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//BasicEventDefinition/distribution"/>
27	</genClasses>
28	<genClasses ecoreClass="cft.ecore#//InputEvent">
29	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//InputEvent/multiple"/>
30	</genClasses>
31	<genClasses image="false" ecoreClass="cft.ecore#//EventDeclaration">
32	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//EventDeclaration/name"/>
33	</genClasses>
34	<genClasses ecoreClass="cft.ecore#//AndGateDefinition"/>
35	<genClasses ecoreClass="cft.ecore#//OrGateDefinition"/>
36	<genClasses ecoreClass="cft.ecore#//KOfMGateDefinition">
37	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//KOfMGateDefinition/k"/>
38	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//KOfMGateDefinition/m"/>
39	</genClasses>
40	<genClasses ecoreClass="cft.ecore#//ComponentFaultTree">
41	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentFaultTree/components"/>
42	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//ComponentFaultTree/topEvent"/>
43	</genClasses>
44	<genClasses ecoreClass="cft.ecore#//Component">
45	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Component/inputs"/>
46	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Component/outputs"/>
47	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Component/componentDefinition"/>
48	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//Component/name"/>
49	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//Component/multipleAllowed"/>
50	</genClasses>
51	<genClasses ecoreClass="cft.ecore#//Input">
52	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Input/inputEvent"/>
53	<genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Input/component"/>
54	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference cft.ecore#//Input/incomingConnections"/>
55	</genClasses>
56	<genClasses ecoreClass="cft.ecore#//Output">
57	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Output/eventDeclaration"/>
58	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Output/outgoingConnections"/>
59	<genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Output/component"/>
60	</genClasses>
61	<genClasses ecoreClass="cft.ecore#//Connection">
62	<genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference cft.ecore#//Connection/input"/>
63	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference cft.ecore#//Connection/output"/>
64	</genClasses>
65	<genClasses ecoreClass="cft.ecore#//ModalElement">
66	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute cft.ecore#//ModalElement/exists"/>
67	</genClasses>
68	</genPackages>
69	</genmodel:GenModel>


diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore deleted file mode 100644 index afe9395e..00000000 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.ecore +++ /dev/null
@@ -1,42 +0,0 @@
1	<?xml version="1.0" encoding="UTF-8"?>
2	<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
3	xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="ft" nsURI="http://www.bme.hu/mit/inf/dslreasoner/faulttree/model/ft"
4	nsPrefix="ft">
5	<eClassifiers xsi:type="ecore:EClass" name="FaultTree" eSuperTypes="#//ReliabilityModel">
6	<eStructuralFeatures xsi:type="ecore:EReference" name="events" upperBound="-1"
7	eType="#//RandomEvent" containment="true"/>
8	<eStructuralFeatures xsi:type="ecore:EReference" name="topEvent" lowerBound="1"
9	eType="#//RandomEvent"/>
10	</eClassifiers>
11	<eClassifiers xsi:type="ecore:EClass" name="RandomEvent" abstract="true" eSuperTypes="#//Event">
12	<eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
13	</eClassifiers>
14	<eClassifiers xsi:type="ecore:EClass" name="BasicEvent" eSuperTypes="#//RandomEvent">
15	<eStructuralFeatures xsi:type="ecore:EReference" name="distribution" lowerBound="1"
16	eType="#//Distribution" containment="true"/>
17	</eClassifiers>
18	<eClassifiers xsi:type="ecore:EClass" name="Gate" abstract="true" eSuperTypes="#//RandomEvent">
19	<eStructuralFeatures xsi:type="ecore:EReference" name="inputEvents" lowerBound="2"
20	upperBound="-1" eType="#//RandomEvent"/>
21	</eClassifiers>
22	<eClassifiers xsi:type="ecore:EClass" name="Distribution" abstract="true"/>
23	<eClassifiers xsi:type="ecore:EClass" name="ConstantDistribution" eSuperTypes="#//Distribution">
24	<eStructuralFeatures xsi:type="ecore:EAttribute" name="p" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
25	</eClassifiers>
26	<eClassifiers xsi:type="ecore:EClass" name="ExponentialDistribution" eSuperTypes="#//Distribution">
27	<eStructuralFeatures xsi:type="ecore:EAttribute" name="lambda" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
28	</eClassifiers>
29	<eClassifiers xsi:type="ecore:EClass" name="AndGate" eSuperTypes="#//Gate"/>
30	<eClassifiers xsi:type="ecore:EClass" name="OrGate" eSuperTypes="#//Gate"/>
31	<eClassifiers xsi:type="ecore:EClass" name="KOfMGate" eSuperTypes="#//Gate">
32	<eStructuralFeatures xsi:type="ecore:EAttribute" name="k" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
33	</eClassifiers>
34	<eClassifiers xsi:type="ecore:EClass" name="ReliabilityModel" abstract="true"/>
35	<eClassifiers xsi:type="ecore:EClass" name="ConstantModel" eSuperTypes="#//ReliabilityModel">
36	<eStructuralFeatures xsi:type="ecore:EAttribute" name="failed" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
37	</eClassifiers>
38	<eClassifiers xsi:type="ecore:EClass" name="Event" abstract="true"/>
39	<eClassifiers xsi:type="ecore:EClass" name="ConstantEvent" eSuperTypes="#//Event">
40	<eStructuralFeatures xsi:type="ecore:EAttribute" name="failed" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
41	</eClassifiers>
42	</ecore:EPackage>


diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel deleted file mode 100644 index 7dcd0ae7..00000000 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/model/ft.genmodel +++ /dev/null
@@ -1,44 +0,0 @@
1	<?xml version="1.0" encoding="UTF-8"?>
2	<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
3	xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/hu.bme.mit.inf.dslreasoner.faulttree.model/ecore-gen"
4	modelPluginID="hu.bme.mit.inf.dslreasoner.faulttree.model" modelName="Ft" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
5	importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"
6	operationReflection="true" importOrganizing="true">
7	<foreignModel>ft.ecore</foreignModel>
8	<genPackages prefix="Ft" basePackage="hu.bme.mit.inf.dslreasoner.faulttree.model"
9	disposableProviderFactory="true" ecorePackage="ft.ecore#/">
10	<genClasses ecoreClass="ft.ecore#//FaultTree">
11	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/events"/>
12	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ft.ecore#//FaultTree/topEvent"/>
13	</genClasses>
14	<genClasses image="false" ecoreClass="ft.ecore#//RandomEvent">
15	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//RandomEvent/name"/>
16	</genClasses>
17	<genClasses ecoreClass="ft.ecore#//BasicEvent">
18	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ft.ecore#//BasicEvent/distribution"/>
19	</genClasses>
20	<genClasses image="false" ecoreClass="ft.ecore#//Gate">
21	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ft.ecore#//Gate/inputEvents"/>
22	</genClasses>
23	<genClasses image="false" ecoreClass="ft.ecore#//Distribution"/>
24	<genClasses ecoreClass="ft.ecore#//ConstantDistribution">
25	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ConstantDistribution/p"/>
26	</genClasses>
27	<genClasses ecoreClass="ft.ecore#//ExponentialDistribution">
28	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ExponentialDistribution/lambda"/>
29	</genClasses>
30	<genClasses ecoreClass="ft.ecore#//AndGate"/>
31	<genClasses ecoreClass="ft.ecore#//OrGate"/>
32	<genClasses ecoreClass="ft.ecore#//KOfMGate">
33	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//KOfMGate/k"/>
34	</genClasses>
35	<genClasses ecoreClass="ft.ecore#//ReliabilityModel"/>
36	<genClasses ecoreClass="ft.ecore#//ConstantModel">
37	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ConstantModel/failed"/>
38	</genClasses>
39	<genClasses ecoreClass="ft.ecore#//Event"/>
40	<genClasses ecoreClass="ft.ecore#//ConstantEvent">
41	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute ft.ecore#//ConstantEvent/failed"/>
42	</genClasses>
43	</genPackages>
44	</genmodel:GenModel>