1 files changed, 0 insertions, 83 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.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>