diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel | 16 |
1 files changed, 10 insertions, 6 deletions
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 e69b5c11..7800e85e 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,18 +34,22 @@ | |||
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#//VLSDeclaration"/> | 37 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSDeclaration"> |
38 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSOtherDeclaration"/> | 38 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSDeclaration/type"/> |
39 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSVariableDeclaration"/> | 39 | </genClasses> |
40 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSOtherDeclaration"> | ||
41 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSOtherDeclaration/name"/> | ||
42 | </genClasses> | ||
43 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSVariableDeclaration"> | ||
44 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSVariableDeclaration/name"/> | ||
45 | </genClasses> | ||
40 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSTypeDef"> | 46 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSTypeDef"> |
41 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTypeDef/typeSig"/> | 47 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTypeDef/typeSig"/> |
42 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTypeDef/mapsTo"/> | 48 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTypeDef/mapsTo"/> |
43 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTypeDef/initType"/> | 49 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTypeDef/initType"/> |
44 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTypeDef/nextType"/> | 50 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTypeDef/nextType"/> |
45 | </genClasses> | 51 | </genClasses> |
46 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSTerm"> | 52 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSTerm"/> |
47 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTerm/type"/> | ||
48 | </genClasses> | ||
49 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSVariable"> | 53 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSVariable"> |
50 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSVariable/name"/> | 54 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSVariable/name"/> |
51 | </genClasses> | 55 | </genClasses> |