diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-07 00:35:42 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-07 00:35:42 -0400 |
| commit | 5d1165ceef23e20c4bbe46fe6f88e95f317234b5 (patch) | |
| tree | 9ed155a9e8d74b0f1ce7173aacd50e0e01c96f22 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel | |
| parent | VAMPIRE: fix model generation (diff) | |
| download | VIATRA-Generator-5d1165ceef23e20c4bbe46fe6f88e95f317234b5.tar.gz VIATRA-Generator-5d1165ceef23e20c4bbe46fe6f88e95f317234b5.tar.zst VIATRA-Generator-5d1165ceef23e20c4bbe46fe6f88e95f317234b5.zip | |
VAMPIRE: Implement Vampire measurement code
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 | 4 |
1 files changed, 3 insertions, 1 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 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> |