diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model')
2 files changed, 6 insertions, 2 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore index 1ba1bbf7..49f8b3a9 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore | |||
| @@ -40,6 +40,9 @@ | |||
| 40 | eType="#//VLSAnnotation" containment="true"/> | 40 | eType="#//VLSAnnotation" containment="true"/> |
| 41 | </eClassifiers> | 41 | </eClassifiers> |
| 42 | <eClassifiers xsi:type="ecore:EClass" name="VLSTffTerm"/> | 42 | <eClassifiers xsi:type="ecore:EClass" name="VLSTffTerm"/> |
| 43 | <eClassifiers xsi:type="ecore:EClass" name="VLSTerm" eSuperTypes="#//VLSTffTerm"> | ||
| 44 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="comment" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | ||
| 45 | </eClassifiers> | ||
| 43 | <eClassifiers xsi:type="ecore:EClass" name="VLSDeclaration" eSuperTypes="#//VLSTffTerm"> | 46 | <eClassifiers xsi:type="ecore:EClass" name="VLSDeclaration" eSuperTypes="#//VLSTffTerm"> |
| 44 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//VLSTypeDef" | 47 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//VLSTypeDef" |
| 45 | containment="true"/> | 48 | containment="true"/> |
| @@ -62,7 +65,6 @@ | |||
| 62 | <eStructuralFeatures xsi:type="ecore:EReference" name="nextType" eType="#//VLSTerm" | 65 | <eStructuralFeatures xsi:type="ecore:EReference" name="nextType" eType="#//VLSTerm" |
| 63 | containment="true"/> | 66 | containment="true"/> |
| 64 | </eClassifiers> | 67 | </eClassifiers> |
| 65 | <eClassifiers xsi:type="ecore:EClass" name="VLSTerm" eSuperTypes="#//VLSTffTerm"/> | ||
| 66 | <eClassifiers xsi:type="ecore:EClass" name="VLSVariable" eSuperTypes="#//VLSTerm"> | 68 | <eClassifiers xsi:type="ecore:EClass" name="VLSVariable" eSuperTypes="#//VLSTerm"> |
| 67 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | 69 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| 68 | </eClassifiers> | 70 | </eClassifiers> |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel index 7800e85e..cb3c1036 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel | |||
| @@ -34,6 +34,9 @@ | |||
| 34 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnnotation/terms"/> | 34 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnnotation/terms"/> |
| 35 | </genClasses> | 35 | </genClasses> |
| 36 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSTffTerm"/> | 36 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSTffTerm"/> |
| 37 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSTerm"> | ||
| 38 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSTerm/comment"/> | ||
| 39 | </genClasses> | ||
| 37 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSDeclaration"> | 40 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSDeclaration"> |
| 38 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSDeclaration/type"/> | 41 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSDeclaration/type"/> |
| 39 | </genClasses> | 42 | </genClasses> |
| @@ -49,7 +52,6 @@ | |||
| 49 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTypeDef/initType"/> | 52 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTypeDef/initType"/> |
| 50 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTypeDef/nextType"/> | 53 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTypeDef/nextType"/> |
| 51 | </genClasses> | 54 | </genClasses> |
| 52 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSTerm"/> | ||
| 53 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSVariable"> | 55 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSVariable"> |
| 54 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSVariable/name"/> | 56 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSVariable/name"/> |
| 55 | </genClasses> | 57 | </genClasses> |