1 files changed, 30 insertions, 0 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore
new file mode 100644
index 00000000..109ec1a7
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore
@@ -0,0 +1,30 @@
+<?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="yakindumm" nsURI="hu.bme.mit.inf.yakindumm" nsPrefix="hu.bme.mit.inf.yakindumm">

+  <eClassifiers xsi:type="ecore:EClass" name="Pseudostate" abstract="true" eSuperTypes="#//Vertex"/>

+  <eClassifiers xsi:type="ecore:EClass" name="Vertex" abstract="true">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="incomingTransitions" ordered="false"

+        upperBound="-1" eType="#//Transition" eOpposite="#//Transition/target"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingTransitions" ordered="false"

+        upperBound="-1" eType="#//Transition" containment="true" eOpposite="#//Transition/source"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="Region">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="vertices" ordered="false"

+        upperBound="-1" eType="#//Vertex" containment="true"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="Transition">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="target" ordered="false"

+        lowerBound="1" eType="#//Vertex" eOpposite="#//Vertex/incomingTransitions"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="source" ordered="false"

+        eType="#//Vertex" eOpposite="#//Vertex/outgoingTransitions"/>

+  </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="Statechart" eSuperTypes="#//CompositeElement"/>

+  <eClassifiers xsi:type="ecore:EClass" name="Entry" eSuperTypes="#//Pseudostate"/>

+  <eClassifiers xsi:type="ecore:EClass" name="Synchronization" eSuperTypes="#//Pseudostate"/>

+  <eClassifiers xsi:type="ecore:EClass" name="State" eSuperTypes="#//RegularState #//CompositeElement"/>

+  <eClassifiers xsi:type="ecore:EClass" name="RegularState" abstract="true" eSuperTypes="#//Vertex"/>

+  <eClassifiers xsi:type="ecore:EClass" name="CompositeElement" abstract="true">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="regions" upperBound="-1"

+        eType="#//Region" containment="true"/>

+  </eClassifiers>

+</ecore:EPackage>