diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore | 4 |
1 files changed, 3 insertions, 1 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> |