1 files changed, 11 insertions, 10 deletions

diff --git a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore
index aa1c579f..bd516038 100644
--- a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore
+++ b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore
@@ -6,14 +6,7 @@
     <eStructuralFeatures xsi:type="ecore:EReference" name="statements" upperBound="-1"

         eType="#//Statement" containment="true"/>

   </eClassifiers>

-  <eClassifiers xsi:type="ecore:EClass" name="Statement">

-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="abstract" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>

-    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>

-    <eStructuralFeatures xsi:type="ecore:EReference" name="superclasses" unique="false"

-        upperBound="-1" eType="#//NamedElement"/>

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

-        eType="#//MemberDefinition" containment="true"/>

-  </eClassifiers>

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

   <eClassifiers xsi:type="ecore:EClass" name="PredicateDefinition" eSuperTypes="#//Statement">

     <eStructuralFeatures xsi:type="ecore:EReference" name="head" eType="#//Expression"

         containment="true"/>

@@ -110,11 +103,11 @@
   <eClassifiers xsi:type="ecore:EClass" name="Call" eSuperTypes="#//Expression">

     <eStructuralFeatures xsi:type="ecore:EReference" name="functor" eType="#//Reference"

         containment="true"/>

-    <eStructuralFeatures xsi:type="ecore:EReference" name="argumentList" eType="#//ArgumentList"

-        containment="true"/>

     <eStructuralFeatures xsi:type="ecore:EAttribute" name="transitiveClosure" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>

     <eStructuralFeatures xsi:type="ecore:EAttribute" name="reflexiveTransitiveClosure"

         eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="argumentList" eType="#//ArgumentList"

+        containment="true"/>

   </eClassifiers>

   <eClassifiers xsi:type="ecore:EClass" name="ArgumentList">

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

@@ -160,6 +153,14 @@
   <eClassifiers xsi:type="ecore:EClass" name="StringLiteral" eSuperTypes="#//Literal">

     <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>

   </eClassifiers>

+  <eClassifiers xsi:type="ecore:EClass" name="ClassDefinition" eSuperTypes="#//Statement">

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="abstract" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>

+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="superclasses" unique="false"

+        upperBound="-1" eType="#//NamedElement"/>

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

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

+  </eClassifiers>

   <eClassifiers xsi:type="ecore:EClass" name="MemberDefinition">

     <eStructuralFeatures xsi:type="ecore:EAttribute" name="containment" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>

     <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//NamedElement"/>