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 | 26 |
1 files changed, 16 insertions, 10 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 0018661e..1ba1bbf7 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,9 +40,18 @@ | |||
| 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="VLSDeclaration" eSuperTypes="#//VLSTffTerm"/> | 43 | <eClassifiers xsi:type="ecore:EClass" name="VLSDeclaration" eSuperTypes="#//VLSTffTerm"> |
| 44 | <eClassifiers xsi:type="ecore:EClass" name="VLSOtherDeclaration" eSuperTypes="#//VLSDeclaration"/> | 44 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//VLSTypeDef" |
| 45 | <eClassifiers xsi:type="ecore:EClass" name="VLSVariableDeclaration" eSuperTypes="#//VLSDeclaration"/> | 45 | containment="true"/> |
| 46 | </eClassifiers> | ||
| 47 | <eClassifiers xsi:type="ecore:EClass" name="VLSOtherDeclaration" eSuperTypes="#//VLSDeclaration"> | ||
| 48 | <eStructuralFeatures xsi:type="ecore:EReference" name="name" eType="#//VLSTerm" | ||
| 49 | containment="true"/> | ||
| 50 | </eClassifiers> | ||
| 51 | <eClassifiers xsi:type="ecore:EClass" name="VLSVariableDeclaration" eSuperTypes="#//VLSDeclaration"> | ||
| 52 | <eStructuralFeatures xsi:type="ecore:EReference" name="name" eType="#//VLSVariable" | ||
| 53 | containment="true"/> | ||
| 54 | </eClassifiers> | ||
| 46 | <eClassifiers xsi:type="ecore:EClass" name="VLSTypeDef"> | 55 | <eClassifiers xsi:type="ecore:EClass" name="VLSTypeDef"> |
| 47 | <eStructuralFeatures xsi:type="ecore:EReference" name="typeSig" eType="#//VLSTypeDef" | 56 | <eStructuralFeatures xsi:type="ecore:EReference" name="typeSig" eType="#//VLSTypeDef" |
| 48 | containment="true"/> | 57 | containment="true"/> |
| @@ -53,11 +62,8 @@ | |||
| 53 | <eStructuralFeatures xsi:type="ecore:EReference" name="nextType" eType="#//VLSTerm" | 62 | <eStructuralFeatures xsi:type="ecore:EReference" name="nextType" eType="#//VLSTerm" |
| 54 | containment="true"/> | 63 | containment="true"/> |
| 55 | </eClassifiers> | 64 | </eClassifiers> |
| 56 | <eClassifiers xsi:type="ecore:EClass" name="VLSTerm" eSuperTypes="#//VLSTffTerm #//VLSOtherDeclaration"> | 65 | <eClassifiers xsi:type="ecore:EClass" name="VLSTerm" eSuperTypes="#//VLSTffTerm"/> |
| 57 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//VLSTypeDef" | 66 | <eClassifiers xsi:type="ecore:EClass" name="VLSVariable" eSuperTypes="#//VLSTerm"> |
| 58 | containment="true"/> | ||
| 59 | </eClassifiers> | ||
| 60 | <eClassifiers xsi:type="ecore:EClass" name="VLSVariable" eSuperTypes="#//VLSVariableDeclaration #//VLSTerm"> | ||
| 61 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> | 67 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| 62 | </eClassifiers> | 68 | </eClassifiers> |
| 63 | <eClassifiers xsi:type="ecore:EClass" name="VLSFunctionAsTerm" eSuperTypes="#//VLSTerm"> | 69 | <eClassifiers xsi:type="ecore:EClass" name="VLSFunctionAsTerm" eSuperTypes="#//VLSTerm"> |
| @@ -124,13 +130,13 @@ | |||
| 124 | </eClassifiers> | 130 | </eClassifiers> |
| 125 | <eClassifiers xsi:type="ecore:EClass" name="VLSUniversalQuantifier" eSuperTypes="#//VLSTerm"> | 131 | <eClassifiers xsi:type="ecore:EClass" name="VLSUniversalQuantifier" eSuperTypes="#//VLSTerm"> |
| 126 | <eStructuralFeatures xsi:type="ecore:EReference" name="variables" upperBound="-1" | 132 | <eStructuralFeatures xsi:type="ecore:EReference" name="variables" upperBound="-1" |
| 127 | eType="#//VLSVariableDeclaration" containment="true"/> | 133 | eType="#//VLSTffTerm" containment="true"/> |
| 128 | <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//VLSTerm" | 134 | <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//VLSTerm" |
| 129 | containment="true"/> | 135 | containment="true"/> |
| 130 | </eClassifiers> | 136 | </eClassifiers> |
| 131 | <eClassifiers xsi:type="ecore:EClass" name="VLSExistentialQuantifier" eSuperTypes="#//VLSTerm"> | 137 | <eClassifiers xsi:type="ecore:EClass" name="VLSExistentialQuantifier" eSuperTypes="#//VLSTerm"> |
| 132 | <eStructuralFeatures xsi:type="ecore:EReference" name="variables" upperBound="-1" | 138 | <eStructuralFeatures xsi:type="ecore:EReference" name="variables" upperBound="-1" |
| 133 | eType="#//VLSVariableDeclaration" containment="true"/> | 139 | eType="#//VLSTffTerm" containment="true"/> |
| 134 | <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//VLSTerm" | 140 | <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//VLSTerm" |
| 135 | containment="true"/> | 141 | containment="true"/> |
| 136 | </eClassifiers> | 142 | </eClassifiers> |