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> |